github.com/coq/opam-coq-archive
BDD algorithms and proofs in Coq, by reflection
opam install coq-bdds.8.10.0