# SMT GitHub repos

<https://repo.masters-masters.com/en/languages/smt>

[Home](https://repo.masters-masters.com/en) › [Languages](https://repo.masters-masters.com/en/languages) › [SMT](https://repo.masters-masters.com/en/languages/smt)

All 16 SMT GitHub repos in RepoMasters, the trading card game of open source, most starred first: stars, tier and card for each.

## SMT GitHub repos

16 SMT repos in the catalog, most starred first.

- [adafruit/Adafruit\_CAD\_Parts · ★ 1,533 · SMT · Beta](https://repo.masters-masters.com/en/repos/adafruit/Adafruit_CAD_Parts)
- [cvc5/cvc5 · ★ 1,385 · SMT · Beta](https://repo.masters-masters.com/en/repos/cvc5/cvc5)
- [SRI-CSL/yices2 · ★ 487 · SMT · Alpha](https://repo.masters-masters.com/en/repos/SRI-CSL/yices2)
- [bitwuzla/bitwuzla · ★ 407 · SMT · Alpha](https://repo.masters-masters.com/en/repos/bitwuzla/bitwuzla)
- [Boolector/boolector · ★ 359 · SMT · Alpha](https://repo.masters-masters.com/en/repos/Boolector/boolector)
- [renaissance-benchmarks/renaissance · ★ 345 · SMT · Alpha](https://repo.masters-masters.com/en/repos/renaissance-benchmarks/renaissance)
- [sosy-lab/java-smt · ★ 245 · SMT · Prototype](https://repo.masters-masters.com/en/repos/sosy-lab/java-smt)
- [dreal/dreal4 · ★ 194 · SMT · Prototype](https://repo.masters-masters.com/en/repos/dreal/dreal4)
- [ARMmbed/mbed-HDK-Eagle-Projects · ★ 193 · SMT · Prototype](https://repo.masters-masters.com/en/repos/ARMmbed/mbed-HDK-Eagle-Projects)
- [ARMmbed/mbed-HDK · ★ 192 · SMT · Prototype](https://repo.masters-masters.com/en/repos/ARMmbed/mbed-HDK)
- [ONEARMY/precious-plastic-kit · ★ 183 · SMT · Prototype](https://repo.masters-masters.com/en/repos/ONEARMY/precious-plastic-kit)
- [leonardoalt/yools · ★ 140 · SMT · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/yools)
- [CyZooNiC/cyberdeck · ★ 138 · SMT · Prototype](https://repo.masters-masters.com/en/repos/CyZooNiC/cyberdeck)
- [metrox-eth/moss · ★ 118 · SMT · Prototype](https://repo.masters-masters.com/en/repos/metrox-eth/moss)
- [eclsnowman/Eustathios-Spider-V2 · ★ 112 · SMT · Prototype](https://repo.masters-masters.com/en/repos/eclsnowman/Eustathios-Spider-V2)
- [uuverifiers/eldarica · ★ 111 · SMT · Prototype](https://repo.masters-masters.com/en/repos/uuverifiers/eldarica)
- [PL-ML/code2inv · ★ 106 · SMT · Prototype](https://repo.masters-masters.com/en/repos/PL-ML/code2inv)

---
Data: GitHub