From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc (Software Artifact) Software

@misc{dagstuhl-artifact-26941,
   title = {{From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc (Software Artifact)}}, 
   author = {Danzinger, Philipp and Musliu, Nysret},
   note = {Software, This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/COE12, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d20d03c35fe8085bb06a80406c7900a162979876;origin=https://github.com/pdanzinger/cp2026-minizinc-lean;visit=swh:1:snp:7459f5eea9458bf2313ad31b0303597acd94f2b2;anchor=swh:1:rev:0d52168d1fad1c96f295c46308c99c416187e147}{\texttt{swh:1:dir:d20d03c35fe8085bb06a80406c7900a162979876}} (visited on 2026-07-13)},
   url = {https://github.com/pdanzinger/cp2026-minizinc-lean/releases/tag/cp2026-artifact},
   doi = {10.4230/artifacts.26941},
}