buddy
Description
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.
Categories
License
Update Notifications
User Ratings
User Reviews
-
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.