Top SMT repos
languages / SMT / global746 repos
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | cvc5 | 920 | cvc5 | |
2 | boolector | 306 | Boolector | |
3 | renaissance | 289 | renaissance-benchmarks | |
4 | precious-plastic-kit | 167 | ONEARMY | |
5 | mbed-HDK | 164 | ARMmbed | |
6 | mbed-HDK-Eagle-Projects | 163 | ARMmbed | |
7 | bitwuzla | 150 | bitwuzla | |
8 | dreal4 | 142 | dreal | |
9 | yools | 139 | leonardoalt | |
10 | cyberdeck | 115 | CyZooNiC |