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.1.tar.gz sha256=b7c5c0b7e0bfd05cbbfd76c62a7ccaa80263e73c236afae80e570ce073c940d2 md5=d1187a03ba4165218bbbdac3182e26db |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/choice/choice.0.1/opam |
No package is dependent
