Instance Class DiamondPuzzle

Class Tree	[Root] Puzzles (806) DiamondPuzzle (9)
Description
Submitter	Martin Gebser
Compatible Encodings
Output Predicates
Instances 1 - 9 of 9	20x20.1 23x23.1 29x29.1 29x29.2 31x31.1 31x31.2 32x32.1 3x3.1 7x7.1 un-/mark all