CPMpy, new release

15 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