TY  - RPRT
TI  - Translating finite-domain integer constraint models to CP/SMT/ILP/PB/SAT solvers with CPMpy
AU  - Tias Guns
AU  - Ignace Bleukx
AU  - Hendrik Bierlee
AU  - Jo Devriendt
AU  - Emilio Gamba
AU  - Orestis Lomis
AU  - Wout Piessens
AU  - Thomas Sergeys
AU  - Dimos Tsouros
AU  - Wout Vanroose
AU  - Hélène Verhaeghe
PY  - 2026
UR  - https://arxiv.org/abs/2608.15143
ID  - 2608.15143
ER  -