rsat

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

Install and Run

Install

$ cargo install rsat

Run

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

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

Example input

c comment
p cnf 3 4
1 0
-1 -2 0
2 -3 0
-3 0

Example Output

SAT
1 -2 -3 0

License

MIT