this repo has no description
[new release] zdd (0.5)
CHANGES:
- minor performance improvement in hash-consing code
- added `subset_closure`
- added `choose` and `choose_opt`
+37
+37
packages/zdd/zdd.0.5/opam
+37
packages/zdd/zdd.0.5/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: """
3
+
Implementation of ZDDs, as well as upward-closed and
4
+
downward-closed set families"""
5
+
maintainer: ["Benoît Montagu <benoit.montagu@inria.fr>"]
6
+
authors: ["Benoît Montagu <benoit.montagu@inria.fr>"]
7
+
license: "LGPL-3.0-or-later"
8
+
homepage: "https://gitlab.inria.fr/bmontagu/zdd"
9
+
bug-reports: "https://gitlab.inria.fr/bmontagu/zdd/-/issues"
10
+
depends: [
11
+
"dune" {>= "3.17"}
12
+
"ocaml" {>= "4.12"}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://gitlab.inria.fr/bmontagu/zdd"
30
+
url {
31
+
src: "https://bmontagu.gitlabpages.inria.fr/zdd/releases/zdd-v0.5.tbz"
32
+
checksum: [
33
+
"sha256=c99d54dc54ce9ac7d31c3a42991fa90731d95a7401dfb69488ef30cdd6b9676d"
34
+
"sha512=6092931d8255304e228c35ff4d12cbebe1ae728cce27314903194973bb551d6a4af9030d2a986316e09fc0ec5588f0fcbd901581c091cfafdab1aef581272e0e"
35
+
]
36
+
}
37
+
x-commit-hash: "eed8fcf061bac3f616ded34da510662083bca060"