https://github.com/ahamez/libsdd

A generic C++14 library for Hierarchical Set Decision Diagrams.
https://github.com/ahamez/libsdd

cpp14 decision-diagrams

Last synced: about 2 months ago
JSON representation

A generic C++14 library for Hierarchical Set Decision Diagrams.

• Host: GitHub
• URL: https://github.com/ahamez/libsdd
• Owner: ahamez
• License: bsd-2-clause
• Created: 2012-09-04T08:58:32.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2021-02-27T15:48:21.000Z (over 4 years ago)
• Last Synced: 2025-04-11T21:52:40.752Z (about 2 months ago)
• Topics: cpp14, decision-diagrams
• Language: C++
• Homepage:
• Size: 2.48 MB
• Stars: 6
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Presentation

`libsdd` is a C++11 library to handle [Hierarchical Set Decision Diagrams](https://www.researchgate.net/publication/220703325_Hierarchical_Decision_Diagrams_to_Exploit_Model_Structure) [1].

[1] Couvreur JM., Thierry-Mieg Y. (2005) Hierarchical Decision Diagrams to Exploit Model Structure. In: Wang F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg

# Installation

It's a header-only library, you just need to set the include directory path.