SMT

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

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

Topic	Repos	Stars