1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

//! This crate contains parsers and writers for the DIMACS CNF file format and for some variants or
//! extensions of this format.
//!
//! In the future it will also contain parser for other closely related file formats.

#![warn(missing_docs)]
mod dimacs_trait;
mod error;
mod token;

pub mod cnf;
pub mod gcnf;
pub mod wcnf;

pub use dimacs_trait::Dimacs;
pub use error::{InnerParseError, ParseError};