Alcazar Generator + Solver

alcazar-gen is a SAT-based solver/generator for the logic puzzle Alcazar.

Alcazar Generator + Solver


  • 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