package

ocaml5.5.1-mlcuddidl

Description

C library offering an interface to the CUDD BDD library for OCaml.

Metadata

Version

3.0.8

License

BSD-3-Clause LGPL-2.1-only

Status

Source

pkgs/development/ocaml-modules/mlcuddidl/default.nix:52

Homepage

https://pop-art.inrialpes.fr/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html

Maintainers (1)

Lucas Ransan