GitHub repository: termoshtt/cdcl
Primary language: Rust
Description: Toy Conflict-Driven Clause-Learning (CDCL) SAT solver for my understanding