this repo has no description
anil.recoil.org
1opam-version: "2.0"
2depends: [
3 "ocaml" {>= "4.04.0"}
4 "dune"
5 "base" {>= "v0.12.0" & < "v0.17"}
6 "ppx_jane"
7 "ppx_deriving"
8]
9build: ["dune" "build" "-p" name "-j" jobs]
10synopsis: "Identity-suppressed decision diagrams (IDDs)"
11maintainer: "Steffen Smolka smolka@cs.cornell.edu"
12authors: "Steffen Smolka smolka@cs.cornell.edu"
13homepage: "https://github.com/netkat-lang/idd"
14dev-repo: "git+https://github.com/netkat-lang/idd.git"
15bug-reports: "https://github.com/netkat-lang/idd/issues"
16url {
17 src: "https://github.com/netkat-lang/idd/archive/0.1.tar.gz"
18 checksum: [
19 "sha256=2242527e57c1bfbcaecc9b31553d068b34635416cd2fe7b4abd382798f675d7f"
20 "md5=ae78cf9648a3238e7336c95229e507ad"
21 ]
22}