Encoding reachability_decision.bingo

Name reachability_decision.bingo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Bingo encoding for Reachability.

As Bingo is still a prototype, please make sure that it reads an instance before the encoding by calling:

- Input from <instance> file: bingo <instance> reachability_decision.bingo
- Instance from standard input: bingo - reachability_decision.bingo
Created 2009-05-13 07:49
Modified 2009-05-25 14:59
Language Features
Compatible Instance Classes
Input Predicates
  • edge/2
  • query/2
Output Predicates
  • reaches/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    • No Search (Martin Gebser)