backtracking/hashset

OCaml implementation of sets as hash tables by Jean-Christophe Filliatre

OCamlNOASSERTION