Encoding hydraulic-leaking_decision.iclingo

Name hydraulic-leaking_decision.iclingo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description An incremental encoding of Hydraulic Leaking.

The time indexes in solutions can be made non-negative by using the script here:
http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6080
Created 2009-03-29 17:20
Modified 2009-05-09 12:00
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • full/1
  • goal/1
  • jet/1
  • junction/1
  • leaking/1
  • link/3
  • numValves/1
  • tank/1
  • valve/1
Output Predicates
  • switchon/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content