Top SMT repos
languages / SMT / global860 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | yools | 138 | leonardoalt |
| 12 | cyberdeck | 118 | CyZooNiC |
| 13 | Eustathios-Spider-V2 | 112 | eclsnowman |
| 14 | code2inv | 85 | PL-ML |
| 15 | storm | 84 | Practical-Formal-Methods |
| 16 | fastsmt | 84 | eth-sri |
| 17 | rust-horn | 72 | hopv |
| 18 | holpy | 56 | bzhan |
| 19 | cafesat | 48 | regb |
| 20 | dreal3 | 48 | dreal |