A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust. - View it on GitHub