Simple toolkit for the manipulation of Multi-valued Decision Diagrams
Use Git or checkout with SVN using the web URL.
Work fast with our official CLI. Learn more.
Please sign in to use Codespaces.
If nothing happens, download GitHub Desktop and try again.
If nothing happens, download GitHub Desktop and try again.
If nothing happens, download Xcode and try again.
Your codespace will open once ready.
There was a problem preparing your codespace, please try again.
This provides a convenient toolkit to create and manipulate Multi-valued Decision Diagrams (MDDs) in java
Most of this comes from a refactoring of GINsim. It is used as backend for the definition of Logical Models
This code is available under LGPL v3+.
Aurelien Naldi
Fabrice Lopez
Add your name here ;)
Simple toolkit for the manipulation of Multi-valued Decision Diagrams