sisl/cudd.jl

Wrapper for the CUDD library for decision diagrams

CUDD.jl

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.0

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

Installation

using Pkg; Pkg.add("CUDD")

License

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

cudd.jl's Issues

Info about upcoming removal of packages in the General registry

As described in https://discourse.julialang.org/t/ann-plans-for-removing-packages-that-do-not-yet-support-1-0-from-the-general-registry/ we are planning on removing packages that do not support 1.0 from the General registry. This package has been detected to not support 1.0 and is thus slated to be removed. The removal of packages from the registry will happen approximately a month after this issue is open.

To transition to the new Pkg system using Project.toml, see https://github.com/JuliaRegistries/Registrator.jl#transitioning-from-require-to-projecttoml.
To then tag a new version of the package, see https://github.com/JuliaRegistries/Registrator.jl#via-the-github-app.

If you believe this package has erroneously been detected as not supporting 1.0 or have any other questions, don't hesitate to discuss it here or in the thread linked at the top of this post.

Use BinaryBuilder

Use BinaryBuilder instead of compiling the library when building the package

Upstream source is dead - please use this mirror instead

vlsi.colorado.edu's been dead for a while. I've made this mirror of the latest release you can use instead.

TagBot trigger issue

This issue is used to trigger TagBot; feel free to unsubscribe.

If you haven't already, you should update your TagBot.yml to include issue comment triggers.
Please see this post on Discourse for instructions and more details.

If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!

BDD complement/negation functionality?

I believe the way to negate/complement a BDD is by calling Cudd_Complement or Cudd_Not in CUDD? That function is not available in CUDD.jl.
Or it could be by manipulating the pointer bits to become complemented, I am not sure, perhaps there can be a native Julia implementation of that?

Broken link in README

The link to CUDD.pdf in the README seems to be broken.

Julia v1.5 failure because of @eval in __init__

Loading CUDD in another package gives

ERROR: LoadError: LoadError: InitError: Evaluation into the closed module `CUDD` breaks incremental compilation because the side effects will not be permanent. This is likely due to some other module mutating `CUDD` with `eval` during precompilation - don't do this.
Stacktrace:
 [1] eval at ./boot.jl:331 [inlined]
 [2] __init__() at /home/travis/.julia/packages/CUDD/s7EqP/src/ADD_apply.jl:45

Because of this line which uses @eval in __init__:

CUDD.jl/src/ADD_apply.jl

Line 45 in 8bd74c8

@eval $(Symbol(name, "_c"))[] = @cfunction($name, Ptr{Node}, (Ptr{Manager}, Ptr{Ptr{Node}}, Ptr{Ptr{Node}}))

See https://travis-ci.com/github/blegat/Dionysos.jl/jobs/422264066#L607

What's the reason it is used in __init__?

CUDD on Apple M1

CUDD is working on the Apple M1 platform using Julia v1.9 for Apple silicon.
But it has to be handled a special way to get it started.
This works for me: (1) start Julia v1.9 for M1, (2) do Pkg.add("CUDD"), (3) do using CUDD---will get ERROR telling you that the platform is not compatible, (4) repeat using CUDD---everything will work properly from this point on. At least that's my experience.
So the ISSUE is that you have to work around a starting problem.

Use Yggdrasil

BinaryProvider seems to be broken on Windows with Julia v1.8, see JuliaPackaging/BinaryProvider.jl#211
One long term fix would be to use Yggdrasil and a CUDD_jll artifact

Update to Julia > 1.0

This package could probably be updated, it seems useful!

Missing arguments for `Cudd_ReadMaxMemory` and `Cudd_SetMaxMemory`

These functions in CUDD.jl take no arguments, but in libcudd take a manager, and a manager + long.
They still run but produce random numbers?

julia> Cudd_ReadMaxMemory()
-868843616

julia> Cudd_SetMaxMemory()
-845347982