stalmarck_sat/lib.rs
1// Main library file for stalmarck_sat
2
3pub mod core;
4pub mod error;
5pub mod parser;
6pub mod solver;
7
8pub use crate::core::formula::Formula;
9pub use crate::core::stalmarck::StalmarckSolver;
10pub use crate::error::Error;
11pub use crate::parser::dimacs::Parser;
12pub use crate::solver::solver::Solver;
13
14// Re-export the Result type with our own Error type
15pub type Result<T> = std::result::Result<T, Error>;