Local Search SAT and MaxSAT Solver in Rust based on probSAT. Partial MaxSAT is not supported yet.
$ cargo install rsat
$ rsat input.cnf --max-tries=100 --max-flips=1000
where input.cnf contains the input SAT instance to be solved in DIMACS format.
input.cnf
MIT
