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>§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)
Modules§
- assignment_
parser - Parsing functions for VeriPB assignments.
- assignment_
token - Tokenizer for VeriPB assignments.
- cnf_
parser - Parsing functions for DIMACS CNF format.
- cnf_
token - Tokenizer for DIMACS CNF formulas.
- error
- Definitions of parsing errors.
- opb_
parser - Parser for the OPB format as specified by the PB competition 2024.
- opb_
token - Tokenizer for constraints in OPB format.
- parser
- Helper functions for parser that can be reused for new parsers.
- substitution_
parser - Parsing functions for VeriPB substitutions.
- substitution_
token - Tokenizer for VeriPB substitutions.
- wcnf_
parser - Parsing functions for WCNF MaxSAT files.
- wcnf_
token - Tokenizer for WCNF MaxSAT files.