Encoding disjunctive-scheduling_clingcon.py

Name disjunctive-scheduling_clingcon.py
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description This Python script translates solution output by Clingcon for the Disjunctive Scheduling problem (cf. http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/5815) into a a more common answer set format.

Usage (Bourne again shell):
clingcon --restarts=no --csp-num-as=1 disjunctive-scheduling_decision.clingcon <instance> 2>&1 | ./disjunctive-scheduling_clingcon.py
Created 2009-03-27 12:58
Modified 2009-05-15 20:45
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No