Benchmarking Solver-agnostic Constraint Modeling Frameworks. - Roberto Penco; Pavle Zuljevic; Damir Pintar; Marko Sostaric (FLLM, 2025)