Instance 4x4.14

Name	4x4.14
Classes	[Root] Puzzles (806) MirrorPuzzle (18)
Submitter	Martin Gebser
Author
Description	4x4 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(col3row1,col4row1). left(col1row2,col2row2). left(col2row2,col3row2). left(col3row2,col4row2). left(col1row3,col2row3). left(col2row3,col3row3). left(col3row3,col4row3). left(col1row4,col2row4). left(col2row4,col3row4). left(col3row4,col4row4). top(col1row1,col1row2). top(col1row2,col1row3). top(col1row3,col1row4). top(col2row1,col2row2). top(col2row2,col2row3). top(col2row3,col2row4). top(col3row1,col3row2). top(col3row2,col3row3). top(col3row3,col3row4). top(col4row1,col4row2). top(col4row2,col4row3). top(col4row3,col4row4). start(col1row1,down,5). start(col4row1,down,7). start(col1row1,right,5). start(col1row2,right,2). start(col1row4,right,1).

Actions