choiceversion Documentation on ocaml.org
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 .
| Author | Simon Cruanes <simon.cruanes@inria.fr> |
|---|---|
| Published | |
| Homepage | https://github.com/c-cube/choice/ |
| Issue Tracker | https://github.com/c-cube/choice/issues |
| Maintainer | simon.cruanes@inria.fr |
| Dependencies |
|
| Source [http] | https://github.com/c-cube/choice/archive/0.2.tar.gz sha256=f3c6ef43c6ab57910af9badb96b294fd66deb76183921e72226541a345e42def md5=ce9cfb1f6731c51b7b86fc6c269c327f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/choice/choice.0.2/opam |
No package is dependent
