Last released Nov 25, 2024
None
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