SMT
languages / SMT478Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | SRI-CSL | 1 | 301 |
| 2 |  | Boolector | 1 | 245 |
| 3 |  | renaissance-benchmarks | 1 | 235 |
| 4 |  | dreal | 5 | 173 |
| 5 |  | eclsnowman | 1 | 106 |
| 6 |  | CyZooNiC | 1 | 96 |
| 7 |  | regb | 2 | 85 |
| 8 |  | Practical-Formal-Methods | 1 | 83 |
| 9 |  | bitwuzla | 1 | 65 |
| 10 |  | PL-ML | 2 | 63 |
561Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | yices2 | 301 | SRI-CSL |
| 2 | boolector | 245 | Boolector |
| 3 | renaissance | 235 | renaissance-benchmarks |
| 4 | dreal4 | 111 | dreal |
| 5 | Eustathios-Spider-V2 | 106 | eclsnowman |
| 6 | cyberdeck | 96 | CyZooNiC |
| 7 | storm | 83 | Practical-Formal-Methods |
| 8 | bitwuzla | 65 | bitwuzla |
| 9 | code2inv | 63 | PL-ML |
| 10 | publications | 54 | Zellic |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| theorem-prover | 1 | 301 |
| satisfiability-modulo-theories | 1 | 301 |
| satisfiability | 1 | 301 |
| scala | 2 | 278 |
| java | 2 | 235 |
| benchmark-suite | 1 | 235 |
| smt-solver | 4 | 124 |
| testing | 1 | 83 |
| fuzzing | 1 | 83 |
| program-verification | 1 | 63 |