https://github.com/suyjuris/obst

Online BDD Simulation Tool
https://github.com/suyjuris/obst

binary-decision-diagrams graph-visualization webassembly webgl

Last synced: 2 months ago
JSON representation

Online BDD Simulation Tool

• Host: GitHub
• URL: https://github.com/suyjuris/obst
• Owner: suyjuris
• License: other
• Created: 2018-10-13T16:46:38.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2022-05-04T09:39:32.000Z (over 2 years ago)
• Last Synced: 2023-09-01T07:07:23.325Z (over 1 year ago)
• Topics: binary-decision-diagrams, graph-visualization, webassembly, webgl
• Language: C++
• Size: 507 KB
• Stars: 14
• Watchers: 2
• Forks: 1
• Open Issues: 2

Awesome Lists containing this project