jix / varisat

SAT solver written in Rust

https://jix.one/project/varisat

Apache License 2.0

253 stars 17 forks source link

Refactor the proof checker by splitting it into multiple modules #70

Closed jix closed 5 years ago

jix commented 5 years ago

bors r+

bors[bot] commented 5 years ago

Build succeeded