mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-14 21:56:41 +01:00
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.
|