Package description for 'cudd'

Manipulate decision diagrams.

 CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs),
 Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams
 (ZDDs).

Various other information for package 'cudd'   (Repository 'avm')

URL: https://vlsi.colorado.edu/~fabio/

Author: Fabio Somenzi <fabio@colorado.edu>
Maintainer: Andreas V. 'netrunner' Meier <avmeier@web.de>

License: OpenSource
Status: Stable
Version: 2.4.1

Download: ftp://vlsi.colorado.edu/pub/ cudd-2.4.1.tar.gz

Buildtime: 5825 (5) seconds (on reference hardware)
Buildtime: 5545 (9) seconds (on reference hardware)
Package Size: 0.45 MB, 8 files

Dependencies: 00-dirtree bash2 binutils bzip2 coreutils cvm findutils gawk gcc42
Dependencies: gcc42:dev glibc26 glibc26:dev grep linux26-headers:dev ltrace make
Dependencies: mktemp sed sysfiles tar xmame

ROCK Sources:  cudd.cache,  cudd.conf,  cudd.desc