package cudd

You can search for identifiers within the package.

in-package search v0.2.0

Minimal cudd bindings

Install

md5=9870c54666e68d74b99a0dc009e762c8

sha512=51794851bbbc369956826250af10f5a8f5ee64be8406396f656f448ab65c3b54f9fc1ebd220e1e69950458a15fb7010f2cbcaa2874709f6158e11014209df799

Minimal C to Ocaml bindings to the CUDD BDD library https://github.com/ivmai/cudd