gbddmlversion

The Verimag bdd library

A BDD library in C + an ocaml wrapper

AuthorPascal Raymond
LicenseCECILL-2.1
Published
Homepagehttp://www-verimag.imag.fr/
Issue Trackerhttps://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/gbddml/gbddml.2.71.10/opam
Required by