Solver interfaces (`cpmpy.solvers`)

CPMpy interfaces to (the Python API interface of) solvers

Solvers typically use some of the generic transformations in cpmpy.transformations as well as specific reformulations to map the CPMpy expression to the solver’s Python API.

List of submodules

`ortools`	Interface to OR-Tools' CP-SAT Python API.
`minizinc`	Interface to MiniZinc's Python API
`pysat`	Interface to PySAT's API
`gurobi`	Interface to the python 'gurobi' package
`pysdd`	Interface to PySDD's API
`z3`	Interface to z3's API
`exact`	Interface to Exact
`choco`	Interface to Choco solver's Python API
`gcs`	Interface to the Glasgow Constraint Solver's API for the cpmpy library.
`utils`	Utilities for handling solvers

List of classes

`CPM_ortools`	Interface to the Python 'ortools' CP-SAT API
`CPM_minizinc`	Interface to MiniZinc's Python API
`CPM_pysat`	Interface to PySAT's API
`CPM_gurobi`	Interface to Gurobi's API
`CPM_pysdd`	Interface to pysdd's API
`CPM_z3`	Interface to z3's API
`CPM_exact`	Interface to the Python interface of Exact
`CPM_choco`	Interface to the Choco solver python API
`CPM_gcs`	Interface to Glasgow Constraint Solver's API.

List of functions

param_combinations

Recursively yield all combinations of param values