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

logic solver truthtable binary-decision-diagram
tomash picture tomash · Mar 25, 2013 · Viewed 9.1k times · Source

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

remustata picture remustata · Jun 10, 2013

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.

Related questions

What is the optimal algorithm for the game 2048?

I have recently stumbled upon the game 2048. You merge similar tiles by moving them in any of the four directions to make "bigger" tiles. After each move, a new tile appears at random empty position with a value of either 2 …

Read More
Reference — What does this symbol mean in PHP?

What is this? This is a collection of questions that come up every now and then about syntax in PHP. This is also a Community Wiki, so everyone is invited to participate in maintaining this list. Why is this? It …

Read More
Simple 'if' or logic statement in Python

How would you write the following in Python? if key < 1 or key > 34: I've tried every way I can think of and am finding it very frustrating.

Read More