Latest version: v0.0.8
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
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.
No known vulnerabilities found
Has known vulnerabilities