Alcazar Generator + Solver
alcazar-gen is a SAT-based solver/generator for the logic puzzle Alcazar.
Features
- Generate uniquely solvable Alcazar puzzles of arbitrary size (although generating big puzzles may take a HUGE amount of time)
- You can specify puzzle templates to generate puzzles with certain geometric properties (e.g. 4-room-puzzles)
- Advanced SAT-techniques ("lifting" for removing unneeded walls, "incremental SAT" for speed)
Used Technologies
- MiniSAT, an open source, minimalistic SAT-solver