From 3ef220d2955ec6e9efeca81ed0d2ce46bf735a5d Mon Sep 17 00:00:00 2001 From: Dimos Tsouros Date: Tue, 19 Sep 2023 17:25:25 +0200 Subject: [PATCH] minor --- cpmpy/solvers/choco.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py index ee9a8f373..d8609dfe2 100644 --- a/cpmpy/solvers/choco.py +++ b/cpmpy/solvers/choco.py @@ -37,7 +37,7 @@ from ..transformations.flatten_model import flatten_constraint, flatten_objective from ..transformations.comparison import only_numexpr_equality from ..transformations.linearize import canonical_comparison -from ..transformations.reification import only_bv_reifies, only_bv_implies, reify_rewrite +from ..transformations.reification import only_bv_reifies, reify_rewrite class CPM_choco(SolverInterface):