package gbddml

  1. Overview
  2. Docs
The Verimag bdd library

Install

Dune Dependency

www-verimag.imag.fr CECILL-2.1 License Edit opam file Versions (2)

Authors

  1. P
    Pascal Raymond

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.v2.71.15.tgz
md5=a7da42464f4ad0619bc4e759f2defca3
sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb

Description

A BDD library in C + an ocaml wrapper

Published: 03 Nov 2022

Dependencies (4)

  1. camlidl >= "1.09"
  2. dune >= "2.0"
  3. base-unix build
  4. ocaml >= "4.05"

Dev Dependencies

None

Used by (1)

  1. lutin >= "2.71.10"

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct