GitHub repository: FJShen/RustySAT
Primary language: Rust
Description: A DPLL SAT solver written in Rust