backtracking/bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

OCamlNOASSERTION