buddy: buddy (Binary Decision Diagram library)
buddy:
buddy: A Binary Decision Diagram library, with:
buddy: - many highly efficient vectorized BDD operations,
buddy: - dynamic variable reordering,
buddy: - automated garbage collection,
buddy: - a C++ interface with automatic reference counting,
buddy: and much more.
buddy:
buddy: https://sourceforge.net/projects/buddy/
buddy: