pkgsrc.se | The NetBSD package collection

./wip/cudd, Package for the manipulation of Binary Decision Diagrams (BDDs), etc

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 3.0.0, Package name: cudd-3.0.0, Maintainer: pkgsrc-users

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

Master sites:

https://github.com/davidkebo/cudd/blob/main/cudd_versions/ (Download)

Filesize: 1147.756 KB

Version history: (Expand)

(2024-08-26) Package added to pkgsrc.se, version cudd-3.0.0 (created)