mdeters/Packages
Packaging (Debian, MacPorts, ...) for CVC4
Public GitHub Catalog
Discovered Sep 26, 2026
mdeters / CVC4
This is my personal (experimental) fork of CVC4. Caveat emptor. If you want the official CVC4 repo, check out CVC4/CVC4.
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.
#7044855GitHub System ID
mdetersOrganization / User
PublicVisibility
ActiveCatalog Status