## Hanoi

*   Origin: ?. Taken from the [IPP][6] domain collection.
*   Adaptions: None.
*   Description: Untyped STRIPS encoding of the well-known Towers of Hanoi
    problem.
*   Parameters: -n number of discs.
*   Generation: No randomization.
