CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
miniBDD Directory Reference
+ Directory dependency graph for miniBDD:

Files

 example.cpp
 A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes.
 
 miniBDD.cpp
 A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes.
 
 miniBDD.h
 A minimalistic BDD library, following Bryant's original paper and Andersen's lecture notes.