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.
Great project! Thanks for amazing work!
Very helpful, fast and easy product!
This is a wonderful project. TNX!
Awesome product, thanks for sharing!
Buddy is a must-have software for everyone. Go ahead and try it now!
Easy to use, fast, and accurate. Thank you so much.