Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (23 sloc) 1.28 KB
opam-version: "2.0"
maintainer: "Arlen Cox <arlencox@gmail.com>"
authors: "Arlen Cox <arlencox@gmail.com>"
homepage: "https://github.com/arlencox/mlbdd"
bug-reports: "https://github.com/arlencox/mlbdd/issues"
license: "MIT"
dev-repo: "git+https://github.com/arlencox/mlbdd.git"
build: [make]
install: [make "install"]
remove: ["ocamlfind" "remove" "mlbdd"]
depends: [
"ocaml"
"ocamlfind" {build}
]
synopsis: "A high performance BDD implementation in OCaml"
description: """
The mlbdd library provides a simple, easy-to-use, easy-to-extend implementation of binary decision diagrams (BDDs) in OCaml. It is well tested and well documented. The library itself has no dependencies and is thus easy to include in applications that might, for example, be compiled with js_of_ocaml or other tools that rely on pure OCaml. It is also easier to integrate with existing projects due to its lack of dependencies.
Critically, this BDD implementation uses a garbage-collection-aware hashing scheme, so that unused nodes can be collected. Additionally, this implementation uses complement edges to significantly improve performance over the simplest BDD implementations."""
flags: light-uninstall
url {
src: "https://github.com/arlencox/mlbdd/archive/v0.6.tar.gz"
checksum: "md5=3fd8e78e2f80e06f32d85222f23c640c"
}
You can’t perform that action at this time.