Encoding reachability_decision.gringo

Name reachability_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Reachability. (No search needed)
Created 2009-03-12 20:44
Modified 2009-05-25 15:00
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
Output Predicates
  • reaches/2
Encoding Parameter
    Standalone Help No
    • No Search (Martin Gebser)
    Attributes
    Content