cuddversion
Minimal cudd bindings
Authors | Matthieu Lemerre <matthieu.lemerre@cea.fr> and Paul Robert <paul.robert@cea.fr> |
---|---|
License | LGPL-2.1-only |
Published | |
Homepage | https://git.frama-c.com/pub/codex/cudd.ml |
Issue Tracker | https://git.frama-c.com/pub/codex/cudd.ml/-/issues |
Maintainers | Matthieu Lemerre <matthieu.lemerre@cea.fr> and Paul Robert <paul.robert@cea.fr> |
Available | os-family != "windows" & arch != "riscv64" |
Dependencies | |
Source [http] | https://git.frama-c.com/pub/codex/cudd.ml/-/archive/0.1.3/cudd.ml-0.1.3.tar.gz md5=8963dcfa1d331c0b9afdcaaffd0accaf sha512=dd1f9c68497696f540274e33b32f0144fadbfcae10d7228efa013e3a8c5da0253e3df48ee53aa135481b52ab33b1f8f3e4445167e3fcc2f8775ad6a6d77e523f |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cudd/cudd.0.1.3/opam |
No package is dependent