Languages
Developers
Countries
Repos
Topics
SMT
languages
/ SMT
563
Developers
Top ranked
Rank
Developer
Repos
Stars
1
cvc5
1
876
2
SRI-CSL
1
343
3
ARMmbed
2
317
4
Boolector
1
291
5
dreal
5
205
6
bitwuzla
1
134
7
CyZooNiC
1
113
8
regb
2
87
9
Practical-Formal-Methods
1
85
10
PL-ML
2
77
675
Repos
Top ranked
Rank
Repo
Stars
Developer
1
cvc5
876
cvc5
2
yices2
343
SRI-CSL
3
boolector
291
Boolector
4
mbed-HDK-Eagle-Projects
159
ARMmbed
5
mbed-HDK
158
ARMmbed
6
dreal4
141
dreal
7
bitwuzla
134
bitwuzla
8
cyberdeck
113
CyZooNiC
9
storm
85
Practical-Formal-Methods
10
code2inv
77
PL-ML
0
Topics
Most popular
Topic
Repos
Stars