AAAI2025

Release associated with the publication Matthew J. McIlree, Ciaran McCreesh, "Certifying Bounds Propagation for Integer Multiplication Constraints", The 39th Annual AAAI Conference on Artificial Intelligence (AAAI2025).

CPAIOR2024

Release associated with the publication Matthew J. McIlree, Ciaran McCreesh, and Jakob Nordström, "Proof Logging for the Circuit Constraint", The 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence,
and Operations Research (CPAIOR 2024).

CP2023

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).

CP2022

Release associated with the publication Stephan Gocht, Ciaran McCreesh, and Jakob Nordström, "An Auditable Constraint Programming Solver", The 28th International Conference on Principles and Practice of Constraint Programming (CP 2022).