CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2019/03/25 03:33:33
Log message:
Import cudd-3.0.0.
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).
From Alessandro De Laurenzis; thanks!
ok sthen@
Status:
Vendor Tag: bentley
Release Tags: bentley_20190325
N ports/devel/cudd/Makefile
N ports/devel/cudd/distinfo
N ports/devel/cudd/patches/patch-Makefile_in
N ports/devel/cudd/pkg/DESCR
N ports/devel/cudd/pkg/PLIST
No conflicts created by this import
