Encoding disjunctive-scheduling_chk.lp

Name	disjunctive-scheduling_chk.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-13 21:35
Modified	2009-04-08 17:38
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	ttask(I,D) :- task(I,D), D > 0. :- ttask(I,D), not 1 { time(I,T) : time(I,T) } 1. :- time(I,T), ttask(I,D), est(I,S), T < S. :- time(I,T), ttask(I,D), let(I,S), S < T+D. :- prec(I,J), ttask(I,D), time(I,T), ttask(J,E), time(J,S), S < T+D. :- disj(I,J), ttask(I,D), time(I,T), ttask(J,E), time(J,S), T <= S, S < T+D. :- disj(I,J), ttask(J,D), time(J,T), ttask(I,E), time(I,S), T <= S, S < T+D. #hide. #show time(I,T).

Actions