BSD Portsdevel/cudd 3.0.0p1 OpenBSD
Colorado University Decision Diagram
- System
- OpenBSD
- Repository
- OpenBSD ports
- Maintainer
- Alessandro De Laurenzis <[email protected]>
- Categories
- devel
Description
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).
In the other systems
Install
Binary package:
pkg_add cuddFrom the ports tree:
cd /usr/ports/devel/cudd && make install