Instance Class MirrorPuzzle

Class Tree
Description Erich Friedmann's Mirror Puzzle, see homepage for more information
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 18 of 18