mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-20 08:27:15 +00:00
6 lines
248 B
Plaintext
6 lines
248 B
Plaintext
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).
|
|
|
|
WWW: https://davidkebo.com/cudd
|