choice

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 .

Install
Documentation github.com Edit opam file
Published
06 Mar 2018
Authors
Maintainers
Sources
0.3.tar.gz
md5=022db6b3d1afc27e4bb76e049c852042
Dependencies
ocamlbuild build
ocamlfind build
ocaml
Reverse Dependencies