PROGRAMS BY buddy.sf.net

  • buddy Free

    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.