TY  - RPRT
TI  - ACE, a generic constraint solver
AU  - Christophe Lecoutre
PY  - 2024
UR  - https://arxiv.org/abs/2302.05405
ID  - 2302.05405
ER  -