The Java Library for Algebraic Decision Diagrams

With the ADD-Lib we introduce a powerful framework for Decision Diagrams to the Java world. Its core is based on CUDD and Sylvan – popular and extensive C-libraries for decision diagrams. With the ADD-Lib we bring their extensive functionality to the Java world. We introduce type safety and substantial support varying Custom Algebraic Structures. Whether you are interested in fuzzy logic decision diagrams or decision diagrams over permutation groups, with the ADD-Lib you can easily lift your algebraic structure to decision diagrams.

It’s Open-source:

gitlab.com/scce/add-lib

It’s on Maven Central

To use the latest release of the ADD-Lib in your Maven project, simply include the following dependency in your pom.xml.

<dependencies>
    ...
    <dependency>
        <groupId>info.scce</groupId>
        <artifactId>addlib</artifactId>
        <version>3.0.1</version>
        <packaging>pom</packaging>
    </dependency>
</dependencies>

Getting Started

Take a look at the ADD-Lib Wiki for details on how to use the ADD-Lib: https://gitlab.com/scce/add-lib/-/wikis/home.


  • ADD-Lib 3.0.0 Release

    Oct 18, 2023 by A. Murtovi

    Today, we have finally released a new version of the ADD-Lib: ADD-Lib 3.0.0!. Check out the releases page for more details.

    Read more

  • ADD-Lib 2.0.0 BETA Release

    Sep 20, 2018 by F. Gossen, A. Murtovi, J. Linden, and B. Steffen

    Today we finally open-sourced the ADD-Lib and made it available to the public. With the ADD-Lib we introduce a powerful framework for Decision Diagrams to the Java world. The library comprises Binary Decision Diagrams (BDDs), Zero-supressed Decision Diagrams (ZDDs), Algebraic Decision Diagrams (ADDs), and supports the seamless adaptation to custom algebraic structures – may it be fuzzy logics, string concatenation, or permutation groups. The public repository is hosted at https://gitlab.com/scce/add-lib. To use the first public...

    Read more