Automated Reasoning
3 projects
Showing 3 of 3 projects
Z3C++
A high-performance theorem prover and satisfiability modulo theories (SMT) solver from Microsoft Research.
#theorem-prover#program-analysis#symbolic-execution
Stars12.2k
Forks1.6k
Last commit3 hours ago
Awesome Monte Carlo Tree SearchPython
A curated collection of Monte Carlo tree search research papers with implementations from top AI conferences.
#game-ai#deep-learning#monte-carlo-tree-search
Stars701
Forks74
Last commit
CosetteLean
An automated solver for proving the equivalence of SQL queries using formal verification.
#database#coq#sql-solver
Stars688
Forks58
Last commit1 year ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.