flussab-btor2
| Crates.io | flussab-btor2 |
| lib.rs | flussab-btor2 |
| version | |
| source | src |
| created_at | 2024-11-19 09:37:42.648359 |
| updated_at | 2024-11-19 09:37:42.648359 |
| description | BTOR2 file format parser and writer |
| homepage | |
| repository | https://github.com/jix/flussab |
| max_upload_size | |
| id | 1453058 |
| Cargo.toml error: | TOML parse error at line 17, column 1 | 17 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
Jannis Harder (jix)
documentation
README
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.