Encoding edge-matching_decision.gringo

Name	edge-matching_decision.gringo
Class Tree	[Root] Puzzles (51) Grid (17) Edge Matching (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the Edge Matching problem.
Created	2009-03-27 12:58
Modified	2009-12-03 15:53
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	Edge Matching
Input Predicates	col/1 rotation/1 row/1 tile/1 tileSide/3
Output Predicates	chosenRotation/3 chosenTile/3 col/1 rotation/1 row/1 tile/1 tileSide/3
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#hide rotate/3. #hide color/4. rotate(R,0,R) :- side(R). rotate(top,90,right). rotate(top,180,bottom). rotate(top,270,left). rotate(right,90,bottom). rotate(right,180,left). rotate(right,270,top). rotate(bottom,90,left). rotate(bottom,180,top). rotate(bottom,270,right). rotate(left,90,top). rotate(left,180,right). rotate(left,270,bottom). 1 { chosenTile(X,Y,N) : row(Y) : col(X) } 1 :- tile(N). 1 { chosenTile(X,Y,N) : tile(N) } 1 :- row(Y), col(X). 1 { chosenRotation(X,Y,R) : rotation(R) } 1 :- row(Y), col(X). color(X,Y,SR,C) :- chosenTile(X,Y,N), chosenRotation(X,Y,R), tileSide(N,S,C), rotate(S,R,SR). :- color(X,Y,right,C1), color(X+1,Y,left,C2), C1 != C2. :- color(X,Y,bottom,C1), color(X,Y+1,top,C2), C1 != C2.

Actions