biodivine-lib-bdd 0.1.0

A simple thread-safe implementation of basic binary decision diagrams.
Documentation