choice

Author Simon Cruanes <simon.cruanes@inria.fr>
Homepage https://github.com/c-cube/choice/
Issue Tracker https://github.com/c-cube/choice/issues
Maintainer simon.cruanes@inria.fr
Dependencies
& ocamlbuild
ocamlfind
Published Jan 18, 2017
Source [http] http://github.com/c-cube/choice/archive/0.2.tar.gz
ce9cfb1f6731c51b7b86fc6c269c327f
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/choice/choice.0.2/opam

Monadic combinators for enumerating alternatives.

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 .

No package is dependent