OpenBSD ports

The devel/cudd port

cudd-3.0.0p1 – Colorado University Decision Diagram

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).

Only for arches

aarch64 aarch64 alpha alpha amd64 amd64 arm arm hppa hppa i386 i386 m88k mips64 mips64 mips64el mips64el powerpc powerpc powerpc64 powerpc64 riscv64 riscv64 sh sparc64 sparc64

Categories:

devel

Library dependencies

Build dependencies

• devel/doxygen
• devel/gmake
• print/texlive/base

Run dependencies