Package for the manipulation of Binary Decision Diagrams (BDDs), etc
CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
$
pkg install cuddOrigin
math/cudd
Size
1.34MiB
License
BSD3CLAUSE
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
1 packages