Crate rsat

rsat is a SAT Solver.

An example using the SLS solver

let input = "
c SAT instance
p cnf 3 4
1 0
-1 -2 0
2 -3 0
-3 0
";
println!("{:?}", rsat::sls::Solver::new_from_buf_reader(&mut input.as_bytes())
    .unwrap().local_search(10, 100, rsat::sls::ScoreFnType::Exp, false));

Modules

errors	Errors module.
msat	msat, a complete CDCL solver module.
parser	DIMACS Parser.
sls	sls, a local search solver module.

Structs

Clause	A Clause.
Lit	A literal.

Enums

LBool	A Lifted boolean.
Solution	Solution to the SAT Formula.

Type Definitions

Var	A variable.