[Javabdd-devel] Multi-Terminal Binary Decision Diagrams

[Florent T. <flo...@ya...>]

Hi,

I would like to recode a C++ application using CUDD's BDD package in
java. JavaBDD seems to be a good candidate for replacing CUDD in the new
java application.

Unfortunately, we used Multi-Terminal Binary Decision Diagrams (ADDs -
Algebraic Decision Diagrams - in CUDD) to code continuous functions of
boolean variables. I am not sure that MTBDDs/ADDs are implemented in
JavaBDD. If not, is it planned to implement it? Or does someone know
other java packages which implement MTBDDs/ADDs?

Thanks,

Florent Teichteil.