mlbdd
mlbdd copied to clipboard
A not-quite-so-simple Binary Decision Diagrams implementation for OCaml