Compare Projects

Export to CSV

General
Project Activity
Activity Not Available
Activity Not Available
  
Open Hub Data Quality
Updated 4 months ago Updated 4 months ago  
Homepage
github.com cvc4.cs.nyu.edu  
Project License
mit BSD-3-Clause  
Estimated Cost
$1,333,530 $6,247,377  

All Time Statistics
Contributors (All Time)
View as graph
7 developers 101 developers  
Commits (All Time)
View as graph
970 commits 13064 commits  
Initial Commit
over 9 years ago over 15 years ago  
Most Recent Commit
about 8 years ago 5 months ago  

12 Month Statistics
Contributors (Past 12 Months)
No Activity 26 developers  
Commits (Past 12 Months)
No Activity 1,038 commits  
Files Modified
No Activity 3,648 files  
Lines Added
No Activity 139,277 lines  
Lines Removed
No Activity 69,668 lines  
Year-Over-Year Commits
Stable Increasing  

30 Day Statistics
Contributors (Past 30 Days)
No Activity 7 developers  
Commits (Past 30 Days)
No Activity 90 commits  
Files Modified
No Activity 2,351 files  
Lines Added
No Activity 6,980 lines  
Lines Removed
No Activity 4,742 lines  

Code Analysis
Mostly Written In
JavaScript C++  
Comments
Very Low High  
Lines of Code
View as graph
96,533 lines 422,111 lines  

People
Managers
 
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.