Encoding gbie_chk.bingo

Name gbie_chk.bingo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description As Bingo is still a prototype, please make sure that it reads an instance along with a solution candidate before the encoding by calling:

- Input from <instance> and <solution> files: bingo <instance> <solution> gbie_chk.bingo
- Solution from standard input: bingo - <instance> gbie_chk.bingo
Created 2009-05-13 08:12
Modified 2009-05-13 08:14
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No