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
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

List of functions

param_combinations

Recursively yield all combinations of param values