BSD Portsmath/cudd 3.0.0 FreeBSD
Package for the manipulation of Binary Decision Diagrams (BDDs), etc
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- License
- BSD3CLAUSE
- Categories
- math
- Package size
- 276.7 KiB, 1375.7 KiB installed
Description
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).
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | math/cudd | 3.0.0 |
| OpenBSD | devel/cudd | 3.0.0p1 |
| DragonFly | math/cudd | 3.0.0 |
| MidnightBSD | math/cudd | 3.0.0 |
Install
Binary package:
pkg install cuddFrom the ports tree:
cd /usr/ports/math/cudd/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= cudd>0:math/cuddPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 3.0.0 | 3.0.0 | 3.0.0 | 3.0.0 | 3.0.0 |
| FreeBSD:14:quarterly | 3.0.0 | 3.0.0 | n/a | 3.0.0 | 3.0.0 |
| FreeBSD:15:latest | 3.0.0 | 3.0.0 | n/a | 3.0.0 | 3.0.0 |
| FreeBSD:15:quarterly | 3.0.0 | 3.0.0 | n/a | n/a | n/a |
| FreeBSD:16:latest | 3.0.0 | 3.0.0 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
Build dependencies 3
Required by 2
Configuration
No options to configure.
- USES
- gmake libtool
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| cudd-3.0.0.tar.gz | 1.175302e+06 | b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69 |
Master sites 1
- https://davidkebo.com/source/cudd_versions/
Commit history 0
No commits in the history this site was built from.