exotica_aico_solver package instances