Crate rsat

rsat is a SAT and MaxSAT Solver.

An example using the SLS solver

fn main() {
    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.