ADD-Lib: Decision Diagrams in Practice

Frederik Gossen, Alnis Murtovi, Philip Zweihoff +1

In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient imple…