SMT
languages / SMT626Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | cvc5 | 1 | 920 | |
2 | ARMmbed | 2 | 326 | |
3 | Boolector | 1 | 306 | |
4 | renaissance-benchmarks | 1 | 289 | |
5 | dreal | 5 | 206 | |
6 | ONEARMY | 4 | 172 | |
7 | bitwuzla | 1 | 150 | |
8 | leonardoalt | 3 | 145 | |
9 | CyZooNiC | 1 | 115 | |
10 | eclsnowman | 1 | 109 |