Encoding fastfood_optimization.gringo

Name	fastfood_optimization.gringo
Class Tree	[Root] Unclassified (114) Fastfood (5) Optimization Version of Fastfood (2) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the optimization version of the Fastfood problem.
Created	2009-03-21 20:31
Modified	2009-05-29 16:05
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Optimization Choice rules Weight constraints
Compatible Instance Classes	Optimization Version of Fastfood
Input Predicates	number_depots/1 restaurant/2
Output Predicates	depot/2
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	#hide. #show depot/2. X { depot(RN,RK) : restaurant(RN,RK) } X :- number_depots(X). serves(RN,Dist) :- restaurant(RN,RK), Dist = min [ depot(DN,DK) : restaurant(DN,DK) = abs(DK-RK) ]. dist(abs(RK1-RK2)) :- restaurant(RN1,RK1), restaurant(RN2,RK2). minimize [ serves(RN,Dist) : restaurant(RN,RK) : dist(Dist) = Dist ].

Actions