Encoding channel-routing_decision.gringo

Name	channel-routing_decision.gringo
Class Tree	[Root] Unclassified (114) Channel Routing (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of Channel Routing.
Created	2009-03-13 20:32
Modified	2009-03-23 08:30
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules
Compatible Instance Classes	Channel Routing
Input Predicates	connect/3 layers/1 tracks/1
Output Predicates	pos/3
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#hide. #show pos/3. net(N) :- connect(N,R,T). 1 { pos(N,L,T) : L = 1..X : T = 1..Y } 1 :- net(N), layers(X), tracks(Y). abv(A,B) :- connect(A,top,T), connect(B,bot,T), A != B. :- abv(A,B), abv(B,A), pos(A,L,T1), pos(B,L,T2). :- abv(A,B), not abv(B,A), pos(A,L,T1), pos(B,L,T2), T1 > T2. cmp(A,B) :- connect(A,R,T1), connect(B,S,T2), A != B, T1 >= T2. :- cmp(A,B), cmp(B,A), pos(A,L,T), pos(B,L,T).

Actions