SMT GitHub repos
16 SMT repos in the catalog, most starred first.
- adafruit/Adafruit_CAD_PartsStars: 1,532SMTBeta
- cvc5/cvc5Stars: 1,385SMTBeta
- SRI-CSL/yices2Stars: 487SMTAlpha
- bitwuzla/bitwuzlaStars: 407SMTAlpha
- Boolector/boolectorStars: 359SMTAlpha
- renaissance-benchmarks/renaissanceStars: 345SMTAlpha
- sosy-lab/java-smtStars: 245SMTPrototype
- dreal/dreal4Stars: 194SMTPrototype
- ARMmbed/mbed-HDK-Eagle-ProjectsStars: 193SMTPrototype
- ARMmbed/mbed-HDKStars: 192SMTPrototype
- ONEARMY/precious-plastic-kitStars: 183SMTPrototype
- leonardoalt/yoolsStars: 140SMTPrototype
- CyZooNiC/cyberdeckStars: 138SMTPrototype
- eclsnowman/Eustathios-Spider-V2Stars: 112SMTPrototype
- uuverifiers/eldaricaStars: 111SMTPrototype
- PL-ML/code2invStars: 106SMTPrototype