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
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 3 star reviews.