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 |
Languages | |
Language Features |
|
Compatible Instance Classes | |
Input Predicates |
|
Output Predicates |
|
Encoding Parameter |
|
Standalone | No |
|
|
Attributes | |
Content |