Encoding hydraulic-planning_decision.gringo

Name hydraulic-planning_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Hydraulic Planning. (No search needed)
Created 2009-03-22 16:11
Modified 2009-06-03 21:01
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • full/1
  • goal/1
  • jet/1
  • junction/1
  • link/3
  • numValves/1
  • stuck/1
  • tank/1
  • valve/1
Output Predicates
  • switchon/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    • No Search (Martin Gebser)
    Attributes
    Content