using AlgebraicDecisionDiagrams
using Test

# Boolean Decision Diagrams
include("bdd.jl")
# Algebraic Decision Diagrams with real constants
include("add.jl")
# Parametrized Algebraic Decision Diagrams (ADDs with multilinear expressions as constants)
include("padd.jl")

