https://github.com/lip6/libddd

Library for Data Decision Diagrams and Set Decision Diagrams
https://github.com/lip6/libddd

cplusplus-11 decision-diagrams lgpl symbolic verification

Last synced: 2 months ago
JSON representation

Library for Data Decision Diagrams and Set Decision Diagrams

• Host: GitHub
• URL: https://github.com/lip6/libddd
• Owner: lip6
• License: other
• Created: 2017-03-18T10:30:30.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2025-04-09T15:30:48.000Z (2 months ago)
• Last Synced: 2025-04-10T01:10:44.827Z (2 months ago)
• Topics: cplusplus-11, decision-diagrams, lgpl, symbolic, verification
• Language: C++
• Homepage: http://ddd.lip6.fr
• Size: 49.1 MB
• Stars: 14
• Watchers: 5
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README
  • Changelog: ChangeLog
  • License: COPYING
  • Authors: AUTHORS

Awesome Lists containing this project

README

        
see README.rmd

(autoconf likes to have a README file)