CBMC
|
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. | |