Dolphin Project

I Use This!

Activity Not Available

Analyzed 4 months ago. based on code collected 4 months ago.

Project Summary

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

In a Nutshell, Dolphin Project...

...
has had 4 commits made by 1 contributors
representing 25 lines of code
...
is mostly written in C
with a well-commented source code
...
has a codebase with a very short history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in March, 2008
ending with its most recent commit over 17 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://svn.code.sf.net/p/dolphi...

Similar Projects:

Managers:

Become the first manager for Dolphin Project

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
search using multiple tags to find exactly what you need