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