package choice

  1. Overview
  2. Docs
Monadic combinators for enumerating alternatives.

Install

Dune Dependency

Authors

Maintainers

Sources

0.1.tar.gz
sha256=b7c5c0b7e0bfd05cbbfd76c62a7ccaa80263e73c236afae80e570ce073c940d2
md5=d1187a03ba4165218bbbdac3182e26db

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 .

Published: 21 Nov 2013

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.