There is a newer version of the record available.

Published July 10, 2023 | Version CP2023
Software Open

ciaranm/glasgow-constraint-solver: CP2023

Authors/Creators

  • 1. University of Glasgow

Description

Release associated with the publication Matthew McIlree and Ciaran McCreesh, "Proof Logging for Smart Extensional Constraints", The 29th International Conference on Principles and Practice of Constraint Programming (CP2023).

Files

ciaranm/glasgow-constraint-solver-CP2023.zip

Files (272.2 kB)

Name Size Download all
md5:d21996956dbdceabd8dd9a61e0bf2fe8
272.2 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/ciaranm/glasgow-constraint-solver/tree/CP2023 (URL)