Encoding disjunctive-scheduling_decision.clingcon

Name disjunctive-scheduling_decision.clingcon
Class Tree
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
Language Features
Compatible Instance Classes
Input Predicates
  • disj/2
  • est/2
  • let/2
  • prec/2
  • task/2
Output Predicates
    Encoding Parameter
      Standalone Help No
      • ASP Contest 09 (Martin Gebser)
      Attributes
      Content