Encoding slitherlink_decision.gringo

Name	slitherlink_decision.gringo
Class Tree	[Root] Graph Problems (32) Slitherlink (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the generalized Slitherlink problem.
Created	2009-03-12 14:19
Modified	2009-03-12 14:21
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	Slitherlink
Input Predicates	cell_contains/3 clue/2 edge/2
Output Predicates	link/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	{ linked(U;V) : edge(U,V) }. 2 { link(U,V) : edge(U,V), link(W,U) : edge(W,U) } 2 :- linked(U). :- link(U,V), not linked(U). :- link(U,V), not linked(V). reached(U) :- linked(U), not linked(V) : edge(V,Y) : V < U, not linked(W) : edge(Z,W) : W < U. reached(V) :- reached(U), link(U,V). reached(V) :- reached(U), link(V,U). :- linked(U), not reached(U). :- clue(C,N), not N { link(U,V) : cell_contains(C,U,V) } N. #hide. #show link(U,V).

Actions