Create Reduced Ordered Binary Decision Diagram (ROBDD) from truth table
问题 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)? 回答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. 回答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