A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Why do you think that https://github.com/bbodi/notecalc3 is a good alternative to screwsat
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Why do you think that https://github.com/bbodi/notecalc3 is a good alternative to screwsat