SMT

languages / SMT
569Developers

Top ranked

RankDeveloperReposStars
1gravatar for adafruitadafruit1827
2gravatar for cvc5cvc51774
3gravatar for SRI-CSLSRI-CSL1324
4gravatar for ARMmbedARMmbed2297
5gravatar for BoolectorBoolector1269
6gravatar for renaissance-benchmarksrenaissance-benchmarks1259
7gravatar for drealdreal5191
8gravatar for ONEARMYONEARMY4163
9gravatar for leonardoaltleonardoalt3130
10gravatar for CyZooNiCCyZooNiC1109
683Repos

Top ranked

RankRepoStarsDeveloper
adafruit/Adafruit_CAD_Parts on Github1Adafruit_CAD_Parts827adafruit
cvc5/cvc5 on Github2cvc5774cvc5
SRI-CSL/yices2 on Github3yices2324SRI-CSL
Boolector/boolector on Github4boolector269Boolector
renaissance-benchmarks/renaissance on Github5renaissance259renaissance-benchmarks
ONEARMY/precious-plastic-kit on Github6precious-plastic-kit158ONEARMY
ARMmbed/mbed-HDK on Github7mbed-HDK151ARMmbed
ARMmbed/mbed-HDK-Eagle-Projects on Github8mbed-HDK-Eagle-Projects146ARMmbed
dreal/dreal4 on Github9dreal4128dreal
leonardoalt/yools on Github10yools125leonardoalt
0Topics

Most popular

TopicReposStars