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 .
| 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
