flussab-btor2 0.1.0

BTOR2 file format parser and writer
Documentation
  • Coverage
  • 99.23%
    129 out of 130 items documented0 out of 26 items with examples
  • Size
  • Source code size: 68.81 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.61 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 22s Average build duration of successful builds.
  • all releases: 22s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • jix/flussab
    15 2 0
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • jix

Flussab AIGER

github crates.io docs.rs

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.