SMT

languages / SMT
478Developers

Top ranked

RankDeveloperReposStars
1gravatar for SRI-CSLSRI-CSL1301
2gravatar for BoolectorBoolector1245
3gravatar for renaissance-benchmarksrenaissance-benchmarks1235
4gravatar for drealdreal5173
5gravatar for eclsnowmaneclsnowman1106
6gravatar for CyZooNiCCyZooNiC196
7gravatar for regbregb285
8gravatar for Practical-Formal-MethodsPractical-Formal-Methods183
9gravatar for bitwuzlabitwuzla165
10gravatar for PL-MLPL-ML263
561Repos

Top ranked

RankRepoStarsDeveloper
SRI-CSL/yices2 on Github1yices2301SRI-CSL
Boolector/boolector on Github2boolector245Boolector
renaissance-benchmarks/renaissance on Github3renaissance235renaissance-benchmarks
dreal/dreal4 on Github4dreal4111dreal
eclsnowman/Eustathios-Spider-V2 on Github5Eustathios-Spider-V2106eclsnowman
CyZooNiC/cyberdeck on Github6cyberdeck96CyZooNiC
Practical-Formal-Methods/storm on Github7storm83Practical-Formal-Methods
bitwuzla/bitwuzla on Github8bitwuzla65bitwuzla
PL-ML/code2inv on Github9code2inv63PL-ML
Zellic/publications on Github10publications54Zellic
86Topics

Most popular