package mlbdd

You can search for identifiers within the package.

in-package search v0.2.0

An OCaml library for Binary Decision Diagrams (BDDs)

Install

Dune Dependency

github.com Readme Changelog MIT License Edit opam file Versions (8)

Authors

A

Arlen Cox <arlencox@gmail.com>

Maintainers

A

Arlen Cox <arlencox@gmail.com>

Sources

md5=6cf89d1cf763e89687f3b45ac80bd614

sha512=81987d086a2370e6c53eb9f549edf9d863aa915b7723714c3147b30dec9c2b763d54df0de8c4919412bd7e9942f6cc9558db855c186f1b3844f904419e09c7a3

CHANGES.md.html

v0.7.3

Fixed a bug in memoization in cofactor (thanks @JoanThibault)

v0.7.1

Fixed install

v0.7

Switched build from Makefile to Dune
Cleaned up project structure
Added caching for support computation (thanks @JoanThibault)