@misc{indiciae677e3b7c48d9,
  title = {Translating finite-domain integer constraint models to CP/SMT/ILP/PB/SAT solvers with CPMpy},
  author = {Tias Guns and Ignace Bleukx and Hendrik Bierlee and Jo Devriendt and Emilio Gamba and Orestis Lomis and Wout Piessens and Thomas Sergeys and Dimos Tsouros and Wout Vanroose and Hélène Verhaeghe},
  year = {2026},
  url = {https://arxiv.org/abs/2608.15143},
  note = {Source identifier: 2608.15143}
}