mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-20 19:41:34 +01:00
7 lines
227 B
Text
7 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.
|