flopp / alcazar-gen

SAT-based generator for Alcazar puzzles
10Updated 3 months ago

Related projects: