Adding choco

.github/workflows/python-test.yml

@@ -23,6 +23,7 @@ jobs:
           pip install z3-solver
           pip install exact
           pip install pysdd
+          pip install pychoco
           sudo snap install minizinc --classic
           pip install minizinc
       - name: Test with pytest

cpmpy/exceptions.py

@@ -17,6 +17,12 @@ class MinizincNameException(CPMpyException):
 class MinizincBoundsException(CPMpyException):
     pass
 
+class ChocoTypeException(CPMpyException):
+    pass
+
+class ChocoBoundsException(CPMpyException):
+    pass
+
 class NotSupportedError(CPMpyException):
     pass
 

cpmpy/solvers/__init__.py

@@ -18,6 +18,7 @@
         pysdd
         z3
         exact
+        choco
         utils
 
     ===============
@@ -33,6 +34,7 @@
         CPM_pysdd
         CPM_z3
         CPM_exact
+        CPM_choco
 
     =================
     List of functions
@@ -51,3 +53,5 @@
 from .pysdd import CPM_pysdd
 from .z3 import CPM_z3
 from .exact import CPM_exact
+from .choco import CPM_choco
+