pycsp3-solvers-extra 0.1.2

Extra solver backends for pycsp3 (OR-Tools, IBM CPO)

pycsp3-solvers-extra

Extension library that adds some extra solver backends to pycsp3.

Supported Solvers

• OR-Tools CP-SAT - Google's constraint programming solver
• IBM DOcplex CP Optimizer - IBM's CP solver (requires CPLEX Studio)

Installation

pip install pycsp3-solvers-extra

Dependencies

• pycsp3 - base constraint modeling library
• ortools - for OR-Tools backend
• docplex - for CPO backend (requires IBM CPLEX Studio installed separately)

Usage

from pycsp3 import *
from pycsp3_solvers_extra import solve

# Define your model
x = VarArray(size=3, dom=range(1, 10))
satisfy(AllDifferent(x))
minimize(Sum(x))

# Solve with OR-Tools
status = solve(solver="ortools")

# Or solve with CPO
status = solve(solver="cpo")

# Of course, you still can use the native supported pycsp3 solvers as well ('ace', 'choco')
status = solve(solver="ace")

# Access solution values
print([v.value for v in x])

API

solve(
    solver="ortools",  # "ortools" or "cpo"
    time_limit=None,   # seconds
    sols=None,         # number of solutions to find
    verbose=0,         # verbosity level (0-2)
    options=""         # solver-specific options
)

Returns TypeStatus.SAT, TypeStatus.OPTIMUM, TypeStatus.UNSAT, or TypeStatus.UNKNOWN.

Examples

See the examples/ directory:

python examples/send_more_money.py --solvers ortools cpo

Running Tests

pytest tests/ -v

License

This project is licensed under the MIT License.