Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.

Binary Decision Diagrams

This is obst, a visualisation of algorithms related to Binary Decision Diagrams, written by Philipp Czerner in 2018.

Read the help for more information, or get started right away by pressing “Create and add”.

Hint: You can hover over nodes using your cursor, showing additional details.

Input type: Base: Bit order:
Adds the BDD to the graph.

First node:
Second node:
Applies the operation.

Reset the application, delete all nodes.

Display usage instructions.

Step-by-step(Move using arrow keys)