New solver: highs, open source ILP solver

README.md

@@ -40,7 +40,7 @@ Install simply with `pip install cpmpy`
 CPMpy can translate to a wide variety of constraint solving paradigms, including both commercial and open-source solvers.
 
 * **CP Solvers**: OR-Tools (default), IBM CP Optimizer (license required), Choco, Glasgow GCS, Pumpkin, MiniZinc+solvers
-* **ILP Solvers**: Gurobi (license required), CPLEX (license required)
+* **ILP Solvers**: HiGHS, Gurobi (license required), CPLEX (license required)
 * **GO Solvers**: Hexaly (license required)
 * **SMT Solvers**: Z3
 * **PB Solvers**: Exact

cpmpy/solvers/__init__.py

@@ -34,6 +34,7 @@
         minizinc
         cpo
         gurobi
+        highs
         exact
         z3
         pysat
@@ -76,6 +77,7 @@
 from .gcs import CPM_gcs
 from .cpo import CPM_cpo
 from .pindakaas import CPM_pindakaas
+from .highs import CPM_highs
 from .pumpkin import CPM_pumpkin
 from .cplex import CPM_cplex
 from .hexaly import CPM_hexaly