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
Interface to ortools' CP-SAT Python API |
|
Interface to PySAT's API |
|
Interface to the python 'gurobi' package |
|
|
Interface to PySDD's API |
|
Interface to z3's API |
|
Interface to Exact |
Utilities for handling solvers |
List of classes
|
Interface to the python 'ortools' CP-SAT API |
|
Interface to PySAT's API |
|
Interface to Gurobi's API |
|
Interface to pysdd's API |
|
Interface to z3's API |
|
Interface to the Python interface of Exact |
List of functions
|
Recursively yield all combinations of param values |