Re: [Javabdd-devel] Multi-Terminal Binary Decision Diagrams

[John W. <joe...@gm...>]

Hi Florent,

I'm not aware of any Java packages that implement MTBDDs/ADDs.
However, JavaBDD does already have an interface to CUDD, so adding ADD
support through a CUDD interface wouldn't be too difficult I think.
(You would still need the CUDD native library to run your Java
application.)  Let me know if you are interested in this and I can
point you in the right direction.

-John


On 12/14/06, Florent Teichteil <flo...@ya...> wrote:
> 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.
>
>
> -------------------------------------------------------------------------
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to share your
> opinions on IT & business topics through brief surveys - and earn cash
> http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
> _______________________________________________
> Javabdd-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javabdd-devel
>