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.
obst visualises algorithms related to Binary Decision Diagrams (BDDs). BDDs are a data structure one can use to represent sets of numbers in a concise and unique fashion, while still being able to efficiently execute set operations on them.
In particular, this tool shows how to create a BDD from a list of numbers, as well as compute their union, intersection and complement. The source is publicly available on GitHub. Feel free to write me an email for any feedback, suggestions, etc.!
Press “Create and add” to get started. This will add a BDD to the graph representing the set of numbers you specified. Afterwards you can step through the frames of the animation (using arrow keys, or the buttons labelled “<” and “>”).
Once the graph contains some nodes, you can start doing set operations. Simply enter the names of the nodes and press the “Calculate” button. Once again, you can go through the frames of the animation to find out how exactly the result was computed.