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
Our Free Plans just got better! | Auth0
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
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!