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

Files

Search