run for all solvers

tests/test_constraints.py

@@ -12,7 +12,7 @@
 # also add exclusions to the 3 EXCLUDE_* below as needed
 SOLVERNAMES = [name for name, solver in SolverLookup.base_solvers() if solver.supported()]
 ALL_SOLS = False # test wheter all solutions returned by the solver satisfy the constraint
-SOLVERNAMES = ["ortools"]
+
 # Exclude some global constraints for solvers
 
 NUM_GLOBAL = {