Last released Jan 9, 2023
Python bindings for the Glasgow Constraint Solver
Last released Jul 23, 2021
Demystify is a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to automatically produce descriptions of steps in the puzzle solving.
Supported by