An open API service indexing awesome lists of open source software.

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

Awesome Lists containing this project

README

        

see README.rmd

(autoconf likes to have a README file)