The Flussab repository contains the file format parsing related crates listed below. See their individual readme's for more information:
flussabgeneric parsing utilities.flussab-cnffor the DIMACS CNF file format and variants.flussab-aiger(preview release) for the AIGER file format (binary and ASCII).flussab-btor2for the BTOR2 file format.
This software is available under the Zero-Clause BSD license, see LICENSE for full licensing information.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this software by you shall be licensed as defined in LICENSE.