Update utils.py

CPMpy · Sep 14, 2023 · 994c86f · 994c86f
1 parent c6f1ded
commit 994c86f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpmpy/solvers/utils.py b/cpmpy/solvers/utils.py
@@ -136,7 +136,7 @@ def lookup(name=None):
 
 # using `builtin_solvers` is DEPRECATED, use `SolverLookup` object instead
 # Order matters! first is default, then tries second, etc...
-builtin_solvers = [CPM_ortools, CPM_gurobi, CPM_minizinc, CPM_pysat, CPM_exact]
+builtin_solvers = [CPM_ortools, CPM_gurobi, CPM_minizinc, CPM_pysat, CPM_exact, CPM_choco]
 def get_supported_solvers():
     """
         Returns a list of solvers supported on this machine.