A simple tool that converts Boole files to their corresponding AIGER counterparts. This can be used to generate AIGER files from Limboole input files.
The parser is written using the Scala Standard Parser Combinator library and accepts formulas of the syntax defined in the Limboole repository.
Note: At the moment, this tool only produces AIGER files in ASCII format.
- Limboole solver: http://fmv.jku.at/limboole/
- AIGER: http://fmv.jku.at/aiger/