Crate rsat

rsat is a SAT and MaxSAT Solver.

Currently, it implements Local Search based on probSAT.

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
sls	sls, a local search solver module