Home

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

devel

Build dependencies

Test dependencies

Reverse dependencies

Files

Search