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

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

May 29 2025 — Jun 28 2025

12 Month Summary

Jun 28 2024 — Jun 28 2025

Ratings

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