mlcuddidl
| Authors | Bertrand Jeannet and Nicolas Berthier | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | LGPL-2.1 | |||||||||||||||||
| Homepage | https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html | |||||||||||||||||
| Maintainer | Nicolas Berthier <m@nberth.space> | |||||||||||||||||
| Dependencies |
| |||||||||||||||||
| Available | ocaml-version >= "4.02.0" | |||||||||||||||||
| Published | Sep 27, 2016 | |||||||||||||||||
| Source [http] | http://nberth.space/pool/mlcuddidl/mlcuddidl-3.0.1.tar.gz 62ecdc121334afc8398cc7f880bc2fa7 | |||||||||||||||||
| Statistics | Installed 13 times last month. | |||||||||||||||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/mlcuddidl/mlcuddidl.3.0.1/opam | |||||||||||||||||
OCaml interface to the CUDD BDD library
| Necessary for | ||
|---|---|---|
| bddapron |
