BSD Portsdevel/buddy 2.4 NetBSD
Library for binary decision diagrams
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- Categories
- devel
- Package size
- 72.2 KiB, 368.3 KiB installed
Description
The BuDDy Binary Decision Diagrams (BDD) library presented here was made as part of a ph.d. project on model checking of finite state machines. The library has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | devel/buddy | 2.4 |
| FreeBSD | science/buddy | 2.4_2 |
| DragonFly | science/buddy | 2.4_2 |
| HardenedBSD | science/buddy | 2.4_2 |
| GhostBSD | science/buddy | 2.4_2 |
Install
Binary package:
pkgin install buddyFrom pkgsrc:
cd /usr/pkgsrc/devel/buddy && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.4 |
| NetBSD 10.1 aarch64 | 2.4 |
| SmartOS / illumos x86_64 | 2.4 |
| macOS 15 arm64 | 2.4 |