0
I Use This!
Inactive
Analyzed 42 minutes ago. based on code collected about 15 hours ago.

Project Summary

This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT)

Tags

No tags have been added

In a Nutshell, Java Decision Diagram Libraries...

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
  • ...
    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
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
Java
73%
XML
14%
C
8%
4 Other
5%

30 Day Summary

Jul 15 2018 — Aug 14 2018

12 Month Summary

Aug 14 2017 — Aug 14 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!