Top SMT repos

860 repos

	Rank	Repo	Stars	Developer
	1	Adafruit_CAD_Parts	1,053	adafruit
	2	cvc5	1,032	cvc5
	3	yices2	370	SRI-CSL
	4	boolector	334	Boolector
	5	renaissance	312	renaissance-benchmarks
	6	bitwuzla	203	bitwuzla
	7	mbed-HDK	170	ARMmbed
	8	mbed-HDK-Eagle-Projects	168	ARMmbed
	9	precious-plastic-kit	168	ONEARMY
	10	dreal4	152	dreal