Encoding golomb-ruler_opt.lp

Name	golomb-ruler_opt.lp
Class Tree	[Root] Miscellaneous (45) ASP Contest 09 (45) Verification and Evaluation Encodings and Tools (38)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description
Created	2009-03-27 12:58
Modified	2009-04-01 18:47
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	#hide. #show quality(Q). :- mark(1), not location(1,0). :- location(M,P), not mark(M). :- location(M,P), not position(P). :- not 1 { location(M,P) : position(P) } 1, mark(M). % add below one if marks should be in order % :- location(M1,P1), location(M2,P2), M1 < M2, P1 >= P2. dist(M1,abs(P2-P1)) :- location(M1,P1), location(M2,P2), M1 < M2. :- dist(M1,D), dist(M2,D), M1 < M2. :- lengthNeeded(D), not dist(M,D) : mark(M). quality(Q) :- mark(X), Q = max [ location(M,P) : location(M,P) = P ]. quality(0) :- not mark(X) : mark(X).

Actions