added getter for constraints in Solver