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: