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)