An OCaml library for binary decision diagrams (bdd)
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 

37 lines
663 B

(lang dune 2.0)
(name bdd)
(license ISC)
(authors "Léo Andrès <contact@ndrs.fr>")
(maintainers "Léo Andrès <contact@ndrs.fr>")
(source
(uri git://git.zapashcanon.fr/zapashcanon/bdd.git))
(bug_reports https://git.zapashcanon.fr/zapashcanon/bdd/issues)
(homepage https://git.zapashcanon.fr/zapashcanon/bdd)
(documentation https://doc.zapashcanon.fr/bdd/)
(generate_opam_files true)
(package
(name bdd)
(synopsis "Binary decision diagram library")
(description
"bdd is an OCaml library for binary decision diagram. ")
(depends
(ocaml
(>= 4.05))
(dune
(>= 2.0))
(bisect_ppx
(>= 1.4))
(memo
(>= 0.0.1))
(hc
(>= 0.0.1))))