2
I Use This!
Activity Not Available
Analyzed 7 months ago. based on code collected 7 months 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.

Tags

No tags have been added

In a Nutshell, JavaBDD...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
C
53%
Java
31%
C++
12%
7 Other
4%

30 Day Summary

Jun 7 2018 — Jul 7 2018

12 Month Summary

Jul 7 2017 — Jul 7 2018

Ratings

1 user rates this project:
3.0
   
3.0/5.0
Click to add your rating
   Spinner
Review this Project!