A solver for Alcazar puzzles using Clingo