Is there an implementation of Binary Decision Diagrams (BDDs) in MATLAB?

Hello everyone,

is there an implementation of Binary Decision Diagrams (BDDs) in MATLAB?

I know that BuDDy-based JavaBDD by John Whaley (<http://javabdd.sourceforge.net>) does the job nicely and can be easily integrated into MATLAB because of being written in Java, but because of the versatility of BDDs for today's algorithms involving logic manipulation (fault tree solution, Boolean formula minimization, SAT solvers, ...) I suspect that BDDs already exist somewhere in MATLAB.

Note that the MATLAB classes ClassificationTree and CompactClassificationTree expose very specialized functionality for statistics and machine learning (see e.g. decision tree learning in Wikipedia) - so far that they are hardly comparable to general BDDs (see e.g. BDDs in Wikipedia) . There are no binary operators on BinaryDecisionTrees, which is the basis for the example applications given above.

Thank you for any provided hint!

[Martin Grden]

Would be interested too. Have you found smthg useful?