Encoding disjunctive-scheduling_decision.gringo

Name disjunctive-scheduling_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Disjunctive Scheduling.
Created 2009-03-13 20:50
Modified 2009-05-11 11:06
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • disj/2
  • est/2
  • let/2
  • prec/2
  • task/2
Output Predicates
  • time/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content