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 (n1--n10, h1--h10, m1--m10, b1) are enclosed in puzzles.tar.gz.