Instance 3x3.1

Name	3x3.1
Classes	[Root] Puzzles (806) MirrorPuzzle (18)
Submitter	Martin Gebser
Author
Description	3x3 Field
Created	2009-03-30 13:03
Modified	2008-11-29 00:06
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	left(col1row1,col2row1). left(col2row1,col3row1). left(col1row2,col2row2). left(col2row2,col3row2). left(col1row3,col2row3). left(col2row3,col3row3). top(col1row1,col1row2). top(col1row2,col1row3). top(col2row1,col2row2). top(col2row2,col2row3). top(col3row1,col3row2). top(col3row2,col3row3). start(col3row1,down,5). start(col1row2,right,0). start(col2row3,up,2).

Actions