teh/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Public GitHub Catalog
Discovered Sep 25, 2026
teh / teh.github.io
Does this work?
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3670050GitHub System ID
tehOrganization / User
PublicVisibility
ActiveCatalog Status
More from teh
teh/three.dart
Dart port of three.js
teh/envparse
Simple environment variable parser library.
teh/perseus
Persistent (i.e. immutable) data structures for Python