Compare Projects

General	J JavaSMT	CVC4
Project Activity	High Activity	High Activity
Open Hub Data Quality	Updated about 23 hours ago	Updated about 9 hours ago
Homepage	github.com	cvc4.cs.nyu.edu
Project License	apache_2	BSD-3-Clause
Estimated Cost	$1,399,799	$6,357,636
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	47 developers	105 developers
Commits (All Time) View as graph Project Comparison Graph	5130 commits	13489 commits
Initial Commit	about 10 years ago	almost 16 years ago
Most Recent Commit	2 days ago	4 days ago
12 Month Statistics
Contributors (Past 12 Months)	10 developers	22 developers
Commits (Past 12 Months)	629 commits	738 commits
Files Modified	466 files	3,332 files
Lines Added	164,649 lines	47,797 lines
Lines Removed	24,823 lines	27,923 lines
Year-Over-Year Commits	Decreasing	Decreasing
30 Day Statistics
Contributors (Past 30 Days)	1 developer	5 developers
Commits (Past 30 Days)	7 commits	42 commits
Files Modified	20 files	170 files
Lines Added	217 lines	1,680 lines
Lines Removed	142 lines	376 lines
Code Analysis
Mostly Written In	Java	C++
Comments	Low	High
Lines of Code View as graph Project Comparison Graph	101,976 lines	429,248 lines
People
Managers	Philipp Wendler	François Bobot
Open Hub Users	0 users	1 user
Open Hub User Rating	0.0 0.0 Based on 0 user ratings.	5.0 5.0 Based on 1 user rating.