IBM CP Optimizer

CPMpy, a constraint programming and modeling library for Python based on NumPy, has been released. It provides solver-agnostic support for CP, ILP, SMT, PB, and SAT solvers, with decision variables as…