this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "An OCaml library for Binary Decision Diagrams (BDDs)"
3description: """
4The mlbdd library provides a simple, easy-to-use, easy-to-extend implementation of binary decision diagrams (BDDs) in OCaml.
5It is well tested and well documented. The library itself has no dependencies and is thus easy to include in applications that might,
6for example, be compiled with js_of_ocaml or other tools that rely on pure OCaml.
7It is also easier to integrate with existing projects due to its lack of dependencies.
8Critically, this BDD implementation uses a garbage-collection-aware hashing scheme, so that unused nodes can be collected.
9Additionally, this implementation uses complement edges to significantly improve performance over the simplest BDD implementations.
10"""
11maintainer: ["Arlen Cox <arlencox@gmail.com>"]
12authors: ["Arlen Cox <arlencox@gmail.com>"]
13license: "MIT"
14homepage: "https://github.com/arlencox/mlbdd"
15bug-reports: "https://github.com/arlencox/mlbdd/issues"
16depends: [
17 "dune" {>= "2.7"}
18 "ounit2" {with-test}
19 "ocaml" {>= "4.04.0"}
20 "odoc" {with-doc}
21]
22build: [
23 ["dune" "subst"] {dev}
24 [
25 "dune"
26 "build"
27 "-p"
28 name
29 "-j"
30 jobs
31 "@install"
32 "@runtest" {with-test}
33 "@doc" {with-doc}
34 ]
35]
36dev-repo: "git+https://github.com/arlencox/mlbdd.git"
37url {
38 src: "https://github.com/arlencox/mlbdd/archive/v0.7.3.tar.gz"
39 checksum: [
40 "md5=6cf89d1cf763e89687f3b45ac80bd614"
41 "sha512=81987d086a2370e6c53eb9f549edf9d863aa915b7723714c3147b30dec9c2b763d54df0de8c4919412bd7e9942f6cc9558db855c186f1b3844f904419e09c7a3"
42 ]
43}