GitHub repository: mxheller/sat
Primary language: Rust
Created: 2020-04-06T02:17:26Z
Description: A CDCL SAT solver written in Rust