SMT
languages / SMT493Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | SRI-CSL | 1 | 317 |
| 2 |  | Boolector | 1 | 255 |
| 3 |  | renaissance-benchmarks | 1 | 244 |
| 4 |  | dreal | 5 | 179 |
| 5 |  | leonardoalt | 3 | 115 |
| 6 |  | eclsnowman | 1 | 107 |
| 7 |  | CyZooNiC | 1 | 105 |
| 8 |  | regb | 2 | 86 |
| 9 |  | bitwuzla | 1 | 82 |
| 10 |  | Practical-Formal-Methods | 1 | 82 |
578Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | yices2 | 317 | SRI-CSL |
| 2 | boolector | 255 | Boolector |
| 3 | renaissance | 244 | renaissance-benchmarks |
| 4 | dreal4 | 117 | dreal |
| 5 | yools | 112 | leonardoalt |
| 6 | Eustathios-Spider-V2 | 107 | eclsnowman |
| 7 | cyberdeck | 105 | CyZooNiC |
| 8 | bitwuzla | 82 | bitwuzla |
| 9 | storm | 82 | Practical-Formal-Methods |
| 10 | code2inv | 66 | PL-ML |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| theorem-prover | 1 | 307 |
| satisfiability-modulo-theories | 1 | 307 |
| satisfiability | 1 | 307 |
| scala | 2 | 280 |
| java | 2 | 237 |
| benchmark-suite | 1 | 237 |
| smt-solver | 4 | 127 |
| yul | 1 | 84 |
| evm | 1 | 84 |
| ethereum | 1 | 84 |