choiceversion

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 .

AuthorSimon Cruanes <simon.cruanes.2007@m4x.org>
Published
Homepagehttps://github.com/c-cube/choice/
Issue Trackerhttps://github.com/c-cube/choice/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/choice/archive/0.3.tar.gz
sha256=3bbb68622ce9471fbaaa8f647b0fa0f224e1d0edeb0ed99b143fcd84cbbfc7e8
md5=022db6b3d1afc27e4bb76e049c852042
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/choice/choice.0.3/opam
No package is dependent