From 994c86fbff9aa321a608d9c0ac97789f95421eb6 Mon Sep 17 00:00:00 2001 From: Dimos Tsouros Date: Thu, 14 Sep 2023 14:23:55 +0200 Subject: [PATCH] Update utils.py --- cpmpy/solvers/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpmpy/solvers/utils.py b/cpmpy/solvers/utils.py index fb0145cc7..aada16adb 100644 --- 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.