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)