Supplementary material for CP-Agent: Agentic Constraint Programming
收藏官方服务:
资源简介:
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.
提供机构:
Zenodo创建时间:
2026-07-14



