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 |