The devel/cudd port
cudd-3.0.0p1 – Colorado University Decision Diagram (cvsweb github mirror)
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).WWW: https://github.com/ivmai/cudd
Maintainer
Alessandro De Laurenzis
Only for arches
aarch64 alpha amd64 arm hppa i386 mips64 mips64el powerpc powerpc64 riscv64 sh sparc64
Categories
Build dependencies
Test dependencies
Files
- /usr/local/include/cudd.h
- /usr/local/lib/libcudd.a
- /usr/local/lib/libcudd.la
- /usr/local/lib/libcudd.so.0.0
- /usr/local/share/doc/cudd/
- /usr/local/share/doc/cudd/cudd.pdf
- /usr/local/share/doc/cudd/phase.pdf