Opam Package mlcuddidl.3.0.6

Package info

opam-namemlcuddidl
opam-version3.0.6
synopsisOCaml interface to the CUDD BDD library
authors
  • Bertrand Jeannet
  • Nicolas Berthier
homepagehttps://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html
licenseLGPL-2.1
deps (5)
revdeps(0)
metas (1)
libraries (2)

Package modules

Package sources

mlcuddidl

Package files

lib/stublibs/dllcudd_caml.so.owner
lib/stublibs/dllcudd_caml.so
lib/stublibs/dllcudd_caml.d.so.owner
lib/stublibs/dllcudd_caml.d.so
lib/cudd/vdd.idl
lib/cudd/util.h
lib/cudd/st.h
lib/cudd/mtr.h
lib/cudd/memo.idl
lib/cudd/man.idl
lib/cudd/libcudd_caml.d.a
lib/cudd/libcudd_caml.a
lib/cudd/hash.idl
lib/cudd/epd.h
lib/cudd/custom.idl
lib/cudd/cuddaux.h
lib/cudd/cudd_ocamldoc.mli
lib/cudd/cudd_caml.h
lib/cudd/cuddInt.h
lib/cudd/cudd.h
lib/cudd/cudd.d.cmxa
lib/cudd/cudd.d.cma
lib/cudd/cudd.d.a
lib/cudd/cudd.cmxa
lib/cudd/cudd.cmx
lib/cudd/cudd.cmi
lib/cudd/cudd.cma
lib/cudd/cudd.a
lib/cudd/cache.idl
lib/cudd/bdd.idl
lib/cudd/add.idl
lib/cudd/META
lib/cudd