Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
"automate-reasoning" 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
2 stars
0 forks
96 projects
Last updated: 08 Nov 2024