opam-version: "2.0"
authors: "Simon Cruanes <simon.cruanes@inria.fr>"
maintainer: "simon.cruanes@inria.fr"
homepage: "https://github.com/c-cube/choice/"
bug-reports: "https://github.com/c-cube/choice/issues"
build: make
remove: [[make "uninstall"]]
depends: [
  "ocaml"
  "ocamlfind" {build}
  "ocamlbuild" {build}
]
dev-repo: "git://github.com/c-cube/choice"
install: [make "install"]
patches: [
  "ocamldoc-3.12.1-fix.patch"
]
synopsis: "Monadic combinators for enumerating alternatives."
description: """
The library provides combinators to branch and test through
alternatives, with fair strategies and restricted pruning of the search
tree. It is written in a continuation-passing style, from the paper
at http://www.cs.rutgers.edu/~ccshan/logicprog/LogicT-icfp2005.pdf ."""
extra-files: [
  "ocamldoc-3.12.1-fix.patch" "md5=b6a4b971136d9b6c1eb19bbc3d6563e1"
]
url {
  src: "https://github.com/c-cube/choice/archive/0.1.tar.gz"
  checksum: "md5=d1187a03ba4165218bbbdac3182e26db"
}
