Published May 8, 2026
| Version CP2026
Software
Open
ciaranm/glasgow-constraint-solver: CP2026
Authors/Creators
- 1. University of Glasgow
Description
Release associated with the publication "Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB", Ciaran McCreesh, Jakob Nordström, Andy Oertel and Yong Kiam Tan, CP2026.
Files
ciaranm/glasgow-constraint-solver-CP2026.zip
Files
(563.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6527af660615656c04124ace26402911
|
563.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ciaranm/glasgow-constraint-solver/tree/CP2026 (URL)
Software
- Repository URL
- https://github.com/ciaranm/glasgow-constraint-solver