SMT

languages / SMT
626Developers

Top ranked

RankDeveloperReposStars
1gravatar for cvc5cvc51920
2gravatar for ARMmbedARMmbed2326
3gravatar for BoolectorBoolector1306
4gravatar for renaissance-benchmarksrenaissance-benchmarks1289
5gravatar for drealdreal5206
6gravatar for ONEARMYONEARMY4172
7gravatar for bitwuzlabitwuzla1150
8gravatar for leonardoaltleonardoalt3145
9gravatar for CyZooNiCCyZooNiC1115
10gravatar for eclsnowmaneclsnowman1109
745Repos

Top ranked

RankRepoStarsDeveloper
cvc5/cvc5 on Github1cvc5920cvc5
Boolector/boolector on Github2boolector306Boolector
renaissance-benchmarks/renaissance on Github3renaissance289renaissance-benchmarks
ONEARMY/precious-plastic-kit on Github4precious-plastic-kit167ONEARMY
ARMmbed/mbed-HDK on Github5mbed-HDK164ARMmbed
ARMmbed/mbed-HDK-Eagle-Projects on Github6mbed-HDK-Eagle-Projects162ARMmbed
bitwuzla/bitwuzla on Github7bitwuzla150bitwuzla
dreal/dreal4 on Github8dreal4142dreal
leonardoalt/yools on Github9yools139leonardoalt
CyZooNiC/cyberdeck on Github10cyberdeck115CyZooNiC
0Topics

Most popular

TopicReposStars