Crate for parsing strings and/or files to VeriPB data structures.

For example use of the parsing functions, have a look at examples. These can be called using

cargo run -r --example <example_name>

Supported Parsers

Parsers for the following functionality are implemented in this library:

• VeriPB assignment (see assignment_parser)
• CNF parser (see cnf_parser)
• OPB parser (see opb_parser)
• VeriPB substitution (see substitution_parser)
• WCNF parser (see wcnf_parser)

VeriPB Parser

Library for auxiliary parsers for VeriPB.