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.
License
Public DomainFollow buddy
Other Useful Business Software
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
Rate This Project
Login To Rate This Project
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!