Solving Challenging Grid Puzzles with Answer Set Programming
We describe the grid puzzles Nurikabe, Heyawake, Masyu, and Bag Puzzle
in the language of lparse (1.0.17), as in
"Solving Challenging Grid Puzzles
with Answer Set Programming" by Cayli et al. (2007).
The files describing these puzzles
(nurikabe.lp, heyawake.lp, masyu.lp, bag.lp),
and the problem instances used in our experiments
m1--m10, b1) are
enclosed in puzzles.tar.gz.