Releases

The ADD-Lib and its included dependencies are subject to BSD Licences. For more detail please read our licences page.

Find our public repository at https://gitlab.com/scce/add-lib and build the library from source code if you wish.

ADD-Lib 3.0.0

We finally release a new version of the ADD-Lib: ADD-Lib 3.0.0!

ADD-Lib 3.0.0 brings a variety of new features with it. The largest change is that the ADD-Lib now also supports the parallel decision diagram library Sylvan. In previous versions, the ADD-Lib internally delegated decision diagram operations to the decision diagram library CUDD. The user can now specify which of these libraries should be used internally which can either be done at compile-time (see here) or at runtime (see here). This allows you to quickly switch between and try out different decision diagram libraries without having to change your java code.

To use ADD-Lib 3.0.0 in your Maven based project, simply include the following dependency in your pom.xml.

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

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

ADD-Lib 2.0.0 ^BETA

The first public version of the ADD-Lib 2.0.0 ^BETA is now available in the Maven Central repository. Its key features include:

• Binary Decision Diagrams (BDDs)
• Zero-supressed Decision Diagrams (ZDDs)
• Algebraic Decision Diagrams (ADDs)
• A nearly complete Java interface to the CUDD library
• Many other Decision Diagrams with extensive support for custom algebraic structures
  • Fuzzy logics decision diagrams
  • String concatenation decision diagrams
  • Many more exemplary algebraic structures

To use the ADD-Lib 2.0.0 ^BETA in your Maven project, simply include the following dependency in your pom.xml.

<dependencies>
    ...
    <dependency>
        <groupId>info.scce</groupId>
        <artifactId>addlib</artifactId>
        <version>2.0.0-BETA</version>
    </dependency>
</dependencies>