Instance Class Slitherlink

Class Tree
Description See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/74
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • cell_contains/3
  • clue/2
  • edge/2
Instances
1 - 5 of 5