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