kyledewey/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Oct 14, 2026
kyledewey / z3
The Z3 Theorem Prover
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#38835548GitHub System ID
kyledeweyOrganization / User
PublicVisibility
ActiveCatalog Status
More from kyledewey
kyledewey/ErrorSentinel
Code from my master's thesis
kyledewey/alive
Alive: Automatic LLVM's Instcombine Verifier
kyledewey/myth
Type-and-example-driven program synthesis for functional programming languages