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
Your top-rated shield against malware and online scams | Avast Free Antivirus
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
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!