[−][src]Crate rsat
rsat
is a SAT and MaxSAT Solver.
An example
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)); }
Modules
common | Common utils. |
msat | msat, a complete CDCL solver module. |
sls | sls, a local search solver module. |