TY  - RPRT
TI  - A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
AU  - François Fages
PY  - 2024
UR  - https://arxiv.org/abs/2402.17286
ID  - 2402.17286
ER  -