opam-version: "2.0"
build: [
  ["dune" "subst"] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
  ["dune" "build" "-p" name "@doc"] {with-doc}
]
maintainer: ["Steffen Smolka <smolka@cs.cornell.edu>"]
authors: ["Steffen Smolka <smolka@cs.cornell.edu>"]
bug-reports: "https://github.com/netkat-lang/idds/issues"
homepage: "https://github.com/netkat-lang/idds"
doc: "https://netkat-lang.github.io/idds/"
license: "MIT"
dev-repo: "git+https://github.com/netkat-lang/idds.git"
synopsis: "Identity-suppressed decision diagrams (IDDs)"
description: "BDD and IDD implementation with hash-consing"
depends: [
  "ocaml" {>= "4.04.0"}
  "dune" {>= "1.10"}
  "base" {>= "v0.12.0" & < "v0.15"}
  "odoc" {with-doc}
  "open" {> "0"}
  "ppx_deriving" {>= "4.3"}
  "ppx_inline_test" {with-test & >= "v0.12.0" & < "v0.15"}
  "ppx_jane" {>= "v0.12.0" & < "v0.15"}
]
url {
  src:
    "https://github.com/netkat-lang/idds/releases/download/0.2/idds-0.2.tbz"
  checksum: [
    "sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39"
    "sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb"
  ]
}
