Flussab

The Flussab repository contains the file format parsing related crates listed below. See their individual readme's for more information:

• flussab generic parsing utilities.
• flussab-cnf for the DIMACS CNF file format and variants.
• flussab-aiger (preview release) for the AIGER file format (binary and ASCII).
• flussab-btor2 for the BTOR2 file format.

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.