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
