1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
//! `rsat` is a SAT and MaxSAT Solver. //! //! ## An example //! //! ```rust //! fn main() { //! let input = " //! c SAT instance //! p cnf 3 4 //! 1 0 //! -1 -2 0 //! 2 -3 0 //! -3 0 //! "; //! println!("{:?}", rsat::sls::Formula::new_from_buf_reader(&mut input.as_bytes()) //! .local_search(10, 100, rsat::sls::ScoreFnType::Exp)); //! } //! ``` #![deny(missing_docs)] /// Common utils. pub mod common; /// sls, a local search solver module. pub mod sls; /// msat, a complete CDCL solver module. pub mod msat;