Translating finite-domain integer constraint models to CP/SMT/ILP/PB/SAT solvers with CPMpy

Tias Guns, Ignace Bleukx, Hendrik Bierlee +8

Constraint solving is a declarative approach for solving combinatorial satisfaction and optimization problems. The user specifies their problem through constraints and decision var…