0
I Use This!
Very Low Activity
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Binary Decision Diagrams (BDDs) in pure Python and Cython bindings to CUDD and BuDDy

Tags

No tags have been added

BSD 3-clause "New" or "Revised" License
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Hold Liable

Use Trademarks

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

Project Security

Vulnerabilities per Version ( last 10 releases )

There are no reported vulnerabilities

Project Vulnerability Report

Security Confidence Index

Poor security track-record
Favorable security track-record

Vulnerability Exposure Index

Many reported vulnerabilities
Few reported vulnerabilities

Did You Know...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use
About Project Security

Languages

Python
98%
3 Other
2%

30 Day Summary

Jul 16 2026 — Aug 15 2026

12 Month Summary

Aug 15 2025 — Aug 15 2026
  • 4 Commits
    Down -24 (85%) from previous 12 months
  • 1 Contributors
    Down -3 (75%) from previous 12 months