Dolphin Project

I Use This!

Inactive

Analyzed 2 days ago. based on code collected 2 days 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 16 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...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
search using multiple tags to find exactly what you need
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site