Colorado University Decision Diagram
Project homepage: https://github.com/ivmai/cudd
Description
CUDD (Colorado University Decision Diagram) is a package written in C
for the manipulation of decision diagrams. It supports binary decision
diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed
BDDs (ZDDs).
Package information
- Ports path
- devel/cudd
- Package architecture
- amd64
- Maintainer
- Alessandro De Laurenzis <just22@atlantide.mooo.com>
- Categories
- devel
- Available flavors
- None listed
- Only for architectures
- aarch64, amd64, arm, i386, mips64, mips64el, powerpc, powerpc64, riscv64, sparc64, alpha, hppa, m88k, sh
Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.
Direct dependencies
Build
Test
Used by (1 dependency relationships)
Includes library, runtime, build and test dependencies.