RECENT POSTS
Buddy
May 26, 2018
Binary Decision Diagram library
BuDDY is 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.
WWW http//buddy.sourceforge.net/
- Older
- Newer