mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-02 13:04:42 +01: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.