Expand description
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>Modulesยง
- assignment_
parser - assignment_
token - cnf_
parser - cnf_
token - error
- opb_
parser - Parser for the OPB format as specified by the PB competition 2024.
- opb_
token - parser
- Helper functions for parser that can be reused for new parsers.
- substitution_
parser - substitution_
token - wcnf_
parser - wcnf_
token