github.com/coq/opam-coq-archive
Canonicity of Binary Decision Dags
opam install coq-canon-bdds.8.10.0