CPMpy, new release

16 views

Skip to first unread message

Tias Guns

unread,

Aug 11, 2025, 2:33:33 AMAug 11

to const...@googlegroups.com

Dear constraints community,

Just in time for CP/SAT we've released CPMpy v0.9.26, probably our last release before 1.0.0.
https://github.com/CPMpy/cpmpy

It is now 'feature complete', translating end-to-end to each of CP, SMT, ILP, PB and SAT, and more specifically to the Python API of 12 such solvers.

The transformations are incremental, include the handling of partial functions and doing common subexpression elimitation. They are also extensively tested, including active fuzz testing.

The library includes tools for parameter-tuning, debugging, explanation generation and XCSP3 benchmarking.

CPMpy is especially well-suited to be used as an integrated component in a bigger Python project. E.g. it is used in the PyConA constraint acquistion framework, in ML Prediction + Optimisation work, in our LLM work, in the Sudoku Assistant app, and in industry projects that require multi-solver evaluation or explanation generation.

Happy to chat at CP if interested!
Tias and the team

Full list of solvers:

CP Solvers: OR-Tools (default), IBM CP Optimizer (license required), Choco, Glasgow GCS, Pumpkin, MiniZinc+solvers
ILP Solvers: Gurobi (license required)
SMT Solvers: Z3
PB Solvers: Exact, Pindakaas
SAT Solvers: PySAT+solvers, PySDD

Reply all

Reply to author

Forward

0 new messages