JavaBDD

I Use This!

Inactive

Analyzed about 5 hours ago. based on code collected about 7 hours ago.

Project Summary

Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.

In a Nutshell, JavaBDD...

...
has had 420 commits made by 5 contributors
representing 74,735 lines of code
...
is mostly written in Postscript
with a very well-commented source code
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 19 years of effort (COCOMO model)
starting with its first commit in January, 2003
ending with its most recent commit about 19 years ago

Quick Reference

Homepage

(3 Locations)

Become the first manager for JavaBDD

This Project has No vulnerabilities Reported Against it

Did You Know...

...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
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