flussab_cnf/
lib.rs

1//! This crate contains parsers and writers for the DIMACS CNF file format and for some variants or
2//! extensions of this format.
3//!
4//! In the future it will also contain parser for other closely related file formats.
5
6#![warn(missing_docs)]
7mod dimacs_trait;
8mod error;
9mod token;
10
11pub mod cnf;
12pub mod gcnf;
13pub mod wcnf;
14
15pub mod sat_solver_log;
16
17pub use dimacs_trait::Dimacs;
18pub use error::{InnerParseError, ParseError};