Class ConstrainedSolver