https://github.com/ahamez/libcoredd

A C++ library to help implement Decision Diagrams Library
https://github.com/ahamez/libcoredd

Last synced: 2 months ago
JSON representation

A C++ library to help implement Decision Diagrams Library

• Host: GitHub
• URL: https://github.com/ahamez/libcoredd
• Owner: ahamez
• License: bsd-2-clause
• Created: 2015-12-20T18:35:52.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-12-20T18:36:46.000Z (over 9 years ago)
• Last Synced: 2025-01-26T09:42:02.463Z (4 months ago)
• Language: C++
• Size: 252 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • License: LICENSE

Awesome Lists containing this project

README