style

CPMpy · Sep 19, 2023 · 7c06bf0 · 7c06bf0
1 parent 7e71f0e
commit 7c06bf0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cpmpy/solvers/choco.py b/cpmpy/solvers/choco.py
@@ -86,7 +86,7 @@ def __init__(self, cpm_model=None, subsolver=None):
 
         import pychoco as chc
 
-        assert (subsolver is None)
+        assert (subsolver is None), "Choco does not support any subsolver"
 
         # initialise the native solver objects
         self.chc_model = chc.Model()
@@ -570,7 +570,7 @@ def _get_constraint(self, cpm_expr):
         # unlikely base case: True or False
         elif isinstance(cpm_expr, BoolVal):
             # Choco does not allow to post True or False. Post "certainly True or False" constraints instead
-            if cpm_expr:
+            if cpm_expr.args[0] is True:
                 return self.chc_model.arithm(self.helper_var, ">=", 0)
             else:
                 return self.chc_model.arithm(self.helper_var, "<", 0)