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.
Solutions to these puzzles can be computed by an answer set solver, such as smodels, cmodels, clasp. Solutions to Masyu and Heyawake can be visualized at the following webpages: Masyu visualizer (implemented by Hakan Kaynar), Heyawake visualizer (implemented by Ayse Gul Karatop).
You can visualize some solutions to the Nurikabe puzzles (computed by Smodels), by downloading 3D Life Player and the compressed directory, and invoking the program index.vmo (implemented by Emrah Kavlak).