Author: Martin Gebser
Date: 13-03-2016
Only Ground: No
Format: ASP
System: clingo (version 4)
Decision: Yes
Enumeration: No
Optimization: No (no such encoding devised yet)
Source: "Answer Set Solving in Practice" Book

Descriptions:
The Towers of Hanoi benchmarks primarily aim at running clingo in <incmode>.
The (incremental) encoding from the Potassco book is available under
Encodings/Incremental/.
The facts under Instances/ have been generated with Generator/toh.py, which
can be invoked with --help for usage information.
Instance files are named toh_<disks>_<init>_<steps>.lp, including the number
of disks, a number referring to the initial situation, and the number of steps
needed to reach the goal situation.

Runtime Range: The generated instances should be medium hard, and further
               scaling should be easy using appropriate generation parameters.
