Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/microsoft/decisiondiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
https://github.com/microsoft/decisiondiagrams
bdds binary-decision-diagrams verification
Last synced: 2 days ago
JSON representation
A performant and ergonomic implementation of binary decision diagrams for .NET
- Host: GitHub
- URL: https://github.com/microsoft/decisiondiagrams
- Owner: microsoft
- License: mit
- Created: 2020-04-25T18:23:39.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2023-08-30T22:03:33.000Z (about 1 year ago)
- Last Synced: 2024-09-21T07:04:11.611Z (6 days ago)
- Topics: bdds, binary-decision-diagrams, verification
- Language: C#
- Size: 323 KB
- Stars: 52
- Watchers: 5
- Forks: 20
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Security: SECURITY.md