2
I Use This!
Inactive
Analyzed 4 days ago. based on code collected 8 days 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...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Postscript
47%
C
32%
C++
7%
7 Other
14%

30 Day Summary

May 14 2025 — Jun 13 2025

12 Month Summary

Jun 13 2024 — Jun 13 2025

Ratings

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