Instance level_09.lp

Name	level_09.lp
Classes	[Root] Puzzles (806) OpenDoors (31)
Submitter	Hannes Schröder
Author	Hannes Schröder
Description
Created	2010-02-26 11:08
Modified	2010-02-26 11:08
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Optimization Choice rules Weight constraints
Compatible Encodings	opendoors.lp
Output Predicates	at/3
Tags:
Attributes
Content	field(3,1). field(1..5,2..3). field(5,4). field(1,4). field(4,4..7). field(2,4..7). field(5,7). field(1,7). field(1..5,8..9). field(3,10). init(3,1). goal(3,10). steps(30). wall(4,2,4,3). wall(3,2,3,3). wall(2,2,2,3). wall(5,3,4,3). wall(2,3,1,3). wall(4,8,4,9). wall(3,8,3,9). wall(2,8,2,9). wall(5,8,4,8). wall(2,8,1,8). state(3,2,l). state(4,4,u). state(2,4,d). state(4,7,u). state(2,7,d). switch(3,3,u). switch(3,8,d). switched_door(3,9,r). angle(3,2,l). angle(3,2,n). angle(4,4,u). angle(4,4,l). angle(2,4,d). angle(2,4,l). angle(4,7,u). angle(4,7,r). angle(2,7,d). angle(2,7,r). angle(3,9,r). angle(3,9,n). position(3,3,u). position(3,3,d). position(3,8,u). position(3,8,d). %* ___________ ___________ \| \| \| \| 5 \| \| \| \| \| ___ \|_______\| ___ \| \| \| ## ## \| \| 4 \| \| * * \| \| ___\| \| _______________ \| \|___ \| \| - \| \| \| \| $ \| 3 \| I \| \| \| \| \| \| $ G \| \|___ \| \| \|_______________\| - \| $ ___\| \| \| \| \| 2 \| \| * * \| \| \| \|___ ## _______ ## ___\| \| \| \| \| \| 1 \| \| \| \| \|___________\| \|___________\| 1 2 3 4 5 6 7 8 9 10 at(3,1,0) at(3,2,1) at(5,2,2) at(5,4,3) at(4,4,4) at(4,8,5) at(2,8,6) at(2,7,7) at(2,8,8) at(4,8,9) at(4,4,10) at(5,4,11) at(5,2,12) at(1,2,13) at(1,4,14) at(2,4,15) at(2,7,16) at(1,7,17) at(1,9,18) at(3,9,19) at(3,10,20) *%

Actions

Navigation

Instance level_09.lp