A Julia wrapper for the CUDD C library to manipulate Algebraic Decision Diagrams (ADDs) and Binary Decision Diagrams (BDDs).
Basic usage:
>>> using CUDD
>>> manager = initialize_cudd()
>>> x1 = add_var(manager)
>>> ref(x1)
>>> x2 = add_var(manager)
>>> ref(x2)
>>> f = add_apply(manager, add_plus_c, x1, x2)
>>> get_value(evaluate(manager, f, Cint[1, 1]))
2.0For further examples, see the Julia notebook in the docs folder.
using Pkg; Pkg.add("CUDD")This code is licensed under the MIT license. See LICENSE for details.