veripb_parser/lib.rs
1#![allow(clippy::restriction)]
2
3//! Crate for parsing strings and/or files to VeriPB data structures.
4//!
5//! For example use of the parsing functions, have a look at `examples`. These can be called using
6//! ```bash
7//! cargo run -r --example <example_name>
8//! ```
9//!
10//! # Supported Parsers
11//! Parsers for the following functionality are implemented in this library:
12//! - VeriPB assignment (see [`assignment_parser`])
13//! - CNF parser (see [`cnf_parser`])
14//! - OPB parser (see [`opb_parser`])
15//! - VeriPB substitution (see [`substitution_parser`])
16//! - WCNF parser (see [`wcnf_parser`])
17
18pub mod assignment_parser;
19pub mod assignment_token;
20pub mod cnf_parser;
21pub mod cnf_token;
22pub mod error;
23pub mod opb_parser;
24pub mod opb_token;
25pub mod parser;
26pub mod substitution_parser;
27pub mod substitution_token;
28pub mod wcnf_parser;
29pub mod wcnf_token;