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 = "linux" & os-family != "windows" & arch != "riscv64" |
| Dependencies | |
| Source [http] | https://git.frama-c.com/pub/codex/cudd.ml/-/archive/0.1.1/cudd.ml-0.1.1.tar.gz md5=9870c54666e68d74b99a0dc009e762c8 sha512=51794851bbbc369956826250af10f5a8f5ee64be8406396f656f448ab65c3b54f9fc1ebd220e1e69950458a15fb7010f2cbcaa2874709f6158e11014209df799 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/cudd/cudd.0.1.1/opam |
No package is dependent
