Astral_internal.Solver_utils
exception Not_available
Given solver is not available.
exception Evaluation_failed