Rare find

screwsat. A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

github.com/togatoga/screwsat
by @togatoga

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.