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
10pub mod assignment_parser;
11pub mod assignment_token;
12pub mod cnf_parser;
13pub mod cnf_token;
14pub mod error;
15pub mod opb_parser;
16pub mod opb_token;
17pub mod parser;
18pub mod substitution_parser;
19pub mod substitution_token;
20pub mod wcnf_parser;
21pub mod wcnf_token;