Skip to content
Wrapper for the CUDD library for decision diagrams
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
deps
docs
src
test
.codecov.yml
.gitignore
.travis.yml
LICENSE.md
README.md
REQUIRE
appveyor.yml

README.md

CUDD.jl

Build Status Coverage Status

A Julia wrapper for the CUDD C library to manipulate Algebraic Decision Diagrams (ADDs).

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, [1, 1]))
2

For further examples, see the Julia notebook in the docs folder.

Setup

Requirements:

  • Julia 0.6
  • A standard build environment (make, gcc, etc.)

To install the CUDD module:

$ Pkg.add("CUDD")

License

This code is licensed under the MIT license. See LICENSE for details.

You can’t perform that action at this time.