Supplementary material for CP-Agent: Agentic Constraint Programming
Abstract
Experimental data, including problem specifications, ground truth models, generated solutions, and execution logs, for the paper CP-Agent: Agentic Constraint Programming by Stefan Szeider, to appear in the proceedings of the Third International Workshop on Large Language Models for Code (LLM4Code) at ICSE 2026. DOI 10.1145/3786181.3788711 Version v2 fixes validation issues found by a systematic mutation-control audit of all ground-truth models; see the version history in README.md for details.
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 14 July 2026