SMT
languages / SMT696Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | adafruit | 1 | 1,032 |
| 2 |  | cvc5 | 1 | 1,007 |
| 3 |  | SRI-CSL | 1 | 369 |
| 4 |  | ARMmbed | 2 | 337 |
| 5 |  | Boolector | 1 | 334 |
| 6 |  | renaissance-benchmarks | 1 | 307 |
| 7 |  | dreal | 5 | 214 |
| 8 |  | bitwuzla | 1 | 198 |
| 9 |  | ONEARMY | 4 | 173 |
| 10 |  | leonardoalt | 3 | 144 |
838Repos
