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 helper submodules

`solver_interface`	Generic interface, solver status and exit status.
`utils`	Utilities for handling solvers

List of solver 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.
`cpo`	Interface to CP Optimizers API

List of functions

param_combinations

Recursively yield all combinations of param values