rsat

Local Search SAT and MaxSAT Solver in Rust based on probSAT. Partial MaxSAT is not supported yet.

Install and Run

Install

sh $ cargo install rsat

Run

sh $ rsat input.cnf --max-tries=100 --max-flips=1000

where input.cnf contains the input SAT instance to be solved in DIMACS format.

License

MIT