bdd

Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

bdd

Documentation:

  • Bdd Binary Decision Diagrams (BDDs)