libcudd (devel/libcudd) Updated: 1 month ago Add to my watchlist

An efficient library for manipulating decision diagrams

The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.

Version: 3.0.0 License: BSD

GitHub

Maintainers	slivingston
Categories	devel
Homepage	http://vlsi.colorado.edu/~fabio/CUDD/
Platforms	darwin
Variants	universal (Build for multiple architectures)

"libcudd" depends on

build (1)

clang-16

Ports that depend on "libcudd"

lib (1)

gr1c

Port notes

To compile against the CUDD dynamic library, use '-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd' for the C interface, or '-I${prefix}/include/cudd -L${prefix}/lib/cudd -lcudd -lcuddobj' for the C++ interface.

Port Health:

Loading Port Health

Installations (30 days)

2

Requested Installations (30 days)

1

Livecheck error

Error: cannot check if libcudd was updated (regex didn't match)

last updated: 8 hours ago

libcudd (devel/libcudd) Updated: 1 month ago Add to my watchlist 0