libcudd (devel/libcudd) Updated: 2 years, 1 month ago Add to my watchlist 0

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.

+ Show more

GitHub

• Details
• Builds
• Installation Stats
• Trac Tickets
• Report an Issue with this port
• API
• Stats FAQ

Statistics for selected duration

2026-Apr-18 to 2026-May-18

Variants table

Monthly Statistics

Can remain cached for up to 24 hours