Create Reduced Ordered Binary Decision Diagram (ROBDD) from truth table

Question

Is there a software package (preferable an application, not library) that creates Reduced Ordered Binary Decision Diagrams (ROBDDs) from a given truth table (in some text format)?

Answer 1

You can also try this: http://formal.cs.utah.edu:8080/pbl/BDD.php

It is the best tool for BDDs I used so far.

Answer 2

With any BDD library you can do what you want. Of course, you must write a piece of code by yourself.

If you are looking for a lightweight tool, I often use an applet like this to have a quick look at the BDD of a function:

http://tams-www.informatik.uni-hamburg.de/applets/java-bdd/