science/buddy 2.4_2 DragonFly

Binary Decision Diagram library

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
Categories: science
Package size: 331.9 KiB, 1677.2 KiB installed

Description

BuDDY is a Binary Decision Diagram library, with: many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.

In the other systems

System

Port

Version

DragonFly

science/buddy

2.4_2

FreeBSD

science/buddy

2.4_2

HardenedBSD

science/buddy

2.4_2

GhostBSD

science/buddy

2.4_2

Install

Binary package:

pkg install buddy

From DPorts:

cd /usr/dports/science/buddy && make install clean

Dependencies

Required by 2

Configuration

No options to configure.

Service scripts: none

Message after installing

===>   NOTICE:

The buddy port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://docs.freebsd.org/en/articles/contributing/#ports-contributing