MDD manipulation toolkit

This provides a convenient toolkit to create and manipulate Multi-valued Decision Diagrams (MDDs) in java

Where does it come from?

Most of this comes from a refactoring of GINsim. It is used as backend for the definition of Logical Models

Licence

This code is available under LGPL v3+.

Authors

Aurelien Naldi
Fabrice Lopez
Add your name here ;)