./devel/cudd [Colorado University Decision Diagram]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 3.0.0, Package name: cudd-3.0.0
Maintained by: Alessandro De Laurenzis
Master sites:
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).

Filesize: 1143.306 KB
Version History (View Complete History)
  • (2019-03-25) Package added to openports.se, version cudd-3.0.0 (created)
[show/hide] View available PLISTS (Can be a lot of data)