10 releases

✓ Uses Rust 2018 edition

new 0.1.9 May 23, 2020
0.1.8 May 23, 2020
0.1.7 Nov 22, 2019
0.1.5 Oct 5, 2019
0.1.4 Sep 29, 2019

#6 in #satisfiability

Download history 1/week @ 2020-01-29 4/week @ 2020-02-05 9/week @ 2020-02-12 22/week @ 2020-02-19 61/week @ 2020-02-26 16/week @ 2020-03-04 8/week @ 2020-03-11 32/week @ 2020-03-18 8/week @ 2020-03-25 2/week @ 2020-04-01 34/week @ 2020-04-08 25/week @ 2020-04-15 2/week @ 2020-04-22 5/week @ 2020-04-29 1/week @ 2020-05-06

80 downloads per month
Used in rsat-cli

MIT license

45KB
1K SLoC

rsat

SolHop SAT Solver.

Crates.io Crates.io Crates.io Docs

Currently, a stochastic local search based on probSAT and a CDCL solver based on MiniSAT has been implemented. More algorithms will be available soon.

This projetct is still in development. The APIs can change a lot before the first stable release v1.0.0.

License

MIT


lib.rs:

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));

Dependencies

~5.5MB
~111K SLoC