0 "sat" Awesome Lists
awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
automate-reasoning awesome awesome-list deductive-reasoning formal-methods logic optimization sat sat-solver smt
37 stars
2 forks
130 projects
Last updated: 11 Feb 2026