- Notifications
You must be signed in to change notification settings - Fork4
Library for Data Decision Diagrams and Set Decision Diagrams
License
NotificationsYou must be signed in to change notification settings
lip6/libDDD
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
What is libDDD ?
libDDD is a C++ library for manipulation of decision diagrams.
Main features include:
- Flexible and powerful encoding of operations using inductive homomorphisms
- Support for hierarchy of the description with SDD
- Automatic support for saturation style algorithms
- A priori unbounded integer domain variables
- Rich expressivity with equiv-split mechanism
- Weak ordering constraint allowing to store variable length decision paths
- Supports both Data Decision Diagrams which are integer valued and Hierarchical Set Decision Diagrams.
libDDD is distributed under the terms of LGPL.
Please seeour main website for more details.
Thedistribution for libDDD by itself is here
Documentation for libDDD is available here