Encoding reach.dlv

Name reach.dlv
Class Tree
Submitter Martin Gebser
Author Giorgio Terracina
Description dlv encoding by Giorgio Terracina
Created 2009-03-30 13:03
Modified 2009-03-12 20:47
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
Output Predicates
  • reachable/2
Encoding Parameter
    Standalone Help No
    Attributes
    Content