• en

bdd

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

Author Jean-Christophe Filliatre
License GPL
Homepage https://www.lri.fr/~filliatr/ftp/ocaml/bdd/

Events

Aug 22, 2014

Published version 0.3