flopp / alcazar-gen

SAT-based generator for Alcazar puzzles
MIT License
10 stars 2 forks source link