SMT

languages / SMT
563Developers

Top ranked

RankDeveloperReposStars
1gravatar for cvc5cvc51876
2gravatar for SRI-CSLSRI-CSL1343
3gravatar for ARMmbedARMmbed2317
4gravatar for BoolectorBoolector1291
5gravatar for drealdreal5205
6gravatar for bitwuzlabitwuzla1134
7gravatar for CyZooNiCCyZooNiC1113
8gravatar for regbregb287
9gravatar for Practical-Formal-MethodsPractical-Formal-Methods185
10gravatar for PL-MLPL-ML277
675Repos

Top ranked

RankRepoStarsDeveloper
cvc5/cvc5 on Github1cvc5876cvc5
SRI-CSL/yices2 on Github2yices2343SRI-CSL
Boolector/boolector on Github3boolector291Boolector
ARMmbed/mbed-HDK-Eagle-Projects on Github4mbed-HDK-Eagle-Projects159ARMmbed
ARMmbed/mbed-HDK on Github5mbed-HDK158ARMmbed
dreal/dreal4 on Github6dreal4141dreal
bitwuzla/bitwuzla on Github7bitwuzla134bitwuzla
CyZooNiC/cyberdeck on Github8cyberdeck113CyZooNiC
Practical-Formal-Methods/storm on Github9storm85Practical-Formal-Methods
PL-ML/code2inv on Github10code2inv77PL-ML
0Topics

Most popular

TopicReposStars