https://github.com/pkmandke/robdd

Reduced Order Binary Decision Diagrams
https://github.com/pkmandke/robdd

Last synced: about 2 months ago
JSON representation

Reduced Order Binary Decision Diagrams

• Host: GitHub
• URL: https://github.com/pkmandke/robdd
• Owner: pkmandke
• Created: 2020-02-08T20:13:50.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-18T03:06:40.000Z (almost 5 years ago)
• Last Synced: 2023-10-05T12:22:17.951Z (over 1 year ago)
• Language: Jupyter Notebook
• Homepage:
• Size: 1.55 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project