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)
• AIGER (added in 2023, currently a preview release, not fully documented and the API might still change)

I plan to add support for further file formats as I encounter them in my projects.

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