mirror of
https://github.com/SlackBuildsOrg/slackbuilds
synced 2024-09-28 15:21:00 +02:00
|
…
|
||
|---|---|---|
| .. | ||
| buddy.info | ||
| buddy.SlackBuild | ||
| README | ||
| slack-desc | ||
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.