mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
5f92c72165
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
6 lines
227 B
Text
6 lines
227 B
Text
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.
|