Flussab

The Flussab Rust crate is a collection of utlities for writing parsers. The rationale for writing yet another parsing library is explained in the documentation. In short, I wanted to write efficient, continuously streaming, interactive, error reporting, non-backtracking, recursive-descent parsers for text-based, binary and mixed formats.

I also started implementing parsers for specific file formats using Flussab:

• DIMACS CNF and variants (for which I initially wrote Flussab)

I also plan to eventually write parsers for the AIGER file formats, both binary and text based, and probably a few graph file formats as I encounter them in my projects.

The source code for Flussab and the implemented parsers can be found on GitHub.