Encoding disjunctive-scheduling_decision.clingcon

Name	disjunctive-scheduling_decision.clingcon
Class Tree	[Root] Unclassified (114) Disjunctive Scheduling (3) 3D ASP Competition (1)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Clingcon encoding of Disjunctive Scheduling. The output of Clingcon can be formatted more nicely by using the script here: http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/5816
Created	2009-03-27 12:58
Modified	2009-05-09 12:05
Languages	Clingcon 0.1.2
Language Features
Compatible Instance Classes	Disjunctive Scheduling
Input Predicates	disj/2 est/2 let/2 prec/2 task/2
Output Predicates
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	%$domain(-2147483646..2147483646). $domain(0..999). ttask(T,D) :- task(T,D), D > 0. time(T) $== 0 :- ttask(T,D), not est(T,S) : est(T,S), not let(T,L) : let(T,L), not prec(T,TP) : prec(T,TP) : ttask(TP,DP), not prec(PT,T) : prec(PT,T) : ttask(PT,PD), not disj(T,TJ) : disj(T,TJ) : ttask(TJ,DJ), not disj(JT,T) : disj(JT,T) : ttask(JT,JD). time(T) $>= S :- est(T,S), ttask(T,D). time(T) + D $<= L :- let(T,L), ttask(T,D). time(T1) + D1 $<= time(T2) :- prec(T1,T2), ttask(T1,D1), ttask(T2,D2). udisj(T1,T2) :- disj(T1,T2). udisj(T2,T1) :- disj(T1,T2). % :- udisj(T1,T2), ttask(T1,D1), ttask(T2,D2), time(T1) $>= time(T2), time(T1) $< time(T2)+D2. temp(T1,T2,D2) :- ttask(T1,D1), ttask(T2,D2), udisj(T1,T2). :- temp(T1,T2,D2), time(T1) $>= time(T2), time(T1) $< time(T2)+D2. % CALL clingcon like this: % % clingcon <this encoding> <instance> --restarts=no --csp-num-as=1 \| ./convert.py #hide. %* #hide ttask/2. #hide task/2. #hide est/2. #hide let/2. #hide prec/2. #hide disj/2. #hide udisj/2. *%

Actions

Navigation

Encoding disjunctive-scheduling_decision.clingcon