Flussab AIGER

Parsing and writing of the BTOR2 file format for representing circuits for word-level hardware model-checking. This library provides an efficient streaming parser for the BTOR2 file format as well as a BTOR2 writer.

License

This software is available under the Zero-Clause BSD license, see LICENSE for full licensing information.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this software by you shall be licensed as defined in LICENSE.