2
I Use This!
Inactive
Analyzed 6 days ago. based on code collected 11 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
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site

Languages

Languages?height=75&width=75
Java
43%
C
44%
C++
10%
7 Other
3%

30 Day Summary

Feb 8 2017 — Mar 10 2017

12 Month Summary

Mar 10 2016 — Mar 10 2017

Ratings

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