powered by
Raises an exception if the solver cannot solve the problem.
validate_solver(solver, constraints)
A '>Solver object.
A list of canonicalized constraints