Instance Class Labyrinths

Class Tree
Description This class contains Ravensburger-style Labyrinth game instances.
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      0