suyjuris/obst
View on GitHub ↗ ★ 25 C++
Online BDD Simulation Tool
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2020-06-10 · latest 2022-09-27
20082026
-
…a while ago: https://nicze.de/philipp/bdds/ Let me know if it is of any use! :) Sources are at https://github.com/suyjuris/obst .
comment by suyjuris · 2022-09-27 · in An Introduction to Binary Decision Diagrams [pdf] -
…causes the application to survive 5x as long then it is probably worth spending twice the time. [1] https://github.com/suyjuris/obst
comment by suyjuris · 2020-08-24 · in Challenge to scientists: does your ten-year-old code still run? -
…If you want to write something more general, then that would probably be much more complicated. [1] https://github.com/suyjuris/obst/blob/feb8e766ce226ca1afe862...
comment by suyjuris · 2020-06-10 · in Create diagrams with code using Graphviz