Solver interfaces (cpmpy.solvers)

CPMpy interfaces to (the Python API interface of) solvers

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

List of submodules

ortools	Interface to ortools' CP-SAT 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
utils	Utilities for handling solvers

List of classes

CPM_ortools	Interface to the python 'ortools' CP-SAT 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

List of functions

param_combinations

Recursively yield all combinations of param values