jix / varisat

SAT solver written in Rust

https://jix.one/project/varisat

Apache License 2.0

253 stars 17 forks source link

Closed jix closed 5 years ago

jix commented 5 years ago

This makes the generated DRAT proofs valid when checking with deletion of pseudo unit clauses (eg. using rate).

Fixes #64

jix commented 5 years ago

bors r+

bors[bot] commented 5 years ago

Build succeeded