IDPDraw is a tool for visualizing finite structures. It can be used to visualize the output of an ASP solver.
Gringo and Clasp can be downloaded here.
Usage
To visualise a solution sol to an instance inst of a benchmark B of the third ASP competition run
gringo sol inst B.draw | clasp | grep idpd | sed 's/)/)./g' | IDPDraw -I
Visualisations of the following problems are available:
Tangram: Tangram.draw  |
Reverse Folding: ReverseFolding.draw  |
Maze Generation: MazeGeneration.draw  |
Magic Square: MagicSquare.draw |