package cudd

  1. Overview
  2. Docs
Minimal cudd bindings

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog Edit opam file Versions (2)

Authors

  1. M
    Matthieu Lemerre <matthieu.lemerre@cea.fr>
  2. P
    Paul Robert <paul.robert@cea.fr>

Maintainers

  1. M
    Matthieu Lemerre <matthieu.lemerre@cea.fr>
  2. P
    Paul Robert <paul.robert@cea.fr>

Sources

cudd.ml-0.1.3.tar.gz
md5=8963dcfa1d331c0b9afdcaaffd0accaf
sha512=dd1f9c68497696f540274e33b32f0144fadbfcae10d7228efa013e3a8c5da0253e3df48ee53aa135481b52ab33b1f8f3e4445167e3fcc2f8775ad6a6d77e523f

doc/CHANGELOG.html

v0.1.0 - (2025-06-10)

  • First release of the CUDD.ml library
  • Only contains a minimal set of binding to interact with BDD for now