package cudd

You can search for identifiers within the package.

in-package search v0.2.0

Minimal cudd bindings

Install

Dune Dependency

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

Authors

Maintainers

Sources

cudd.ml-0.1.1.tar.gz

md5=9870c54666e68d74b99a0dc009e762c8

sha512=51794851bbbc369956826250af10f5a8f5ee64be8406396f656f448ab65c3b54f9fc1ebd220e1e69950458a15fb7010f2cbcaa2874709f6158e11014209df799

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