Encoding hydraulic_iclingo.py

Name hydraulic_iclingo.py
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description This Python script converts time indexes of solution output by Iclingo for the Hydraulic System Planning problems (cf. http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6078 and http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6079) such that they get non-negative.

Usage (Bourne again shell):
iclingo hydraulic-planning_decision.iclingo <instance> 2>&1 | ./hydraulic_iclingo.py
iclingo hydraulic-leaking_decision.iclingo <instance> 2>&1 | ./hydraulic_iclingo.py
Created 2009-03-29 17:43
Modified 2009-05-09 12:56
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No