opam-version: "2.0"
maintainer: "Spiros Eliopoulos <seliopou@gmail.com>"
homepage: "https://github.com/frenetic-lang/ocaml-tdk"
build: [
  ["./configure"]
  [make]
]
remove: [["ocamlfind" "remove" "tdk"]]
depends: [
  "ocaml" {>= "4.01.0"}
  "ocamlfind"
  "ocamlbuild" {build}
]
dev-repo: "git://github.com/frenetic-lang/ocaml-tdk"
install: [make "install"]
synopsis: "tdk - The Decision Kit"
description: """
The Decision Kit is a collection of data structures that are useful for
representing functions, relations, and other combinatorial objects. These data
structures are based on various generalizations of reduced ordered binary
decision diagrams."""
flags: light-uninstall
url {
  src: "https://github.com/frenetic-lang/ocaml-tdk/archive/v0.1.1.tar.gz"
  checksum: "md5=9e8405613bc75f717b88e4223cda5a67"
}
