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.2007@m4x.org> |
|---|---|
| Published | |
| Homepage | https://github.com/c-cube/choice/ |
| Issue Tracker | https://github.com/c-cube/choice/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies |
|
| Source [http] | https://github.com/c-cube/choice/archive/0.3.tar.gz sha256=3bbb68622ce9471fbaaa8f647b0fa0f224e1d0edeb0ed99b143fcd84cbbfc7e8 md5=022db6b3d1afc27e4bb76e049c852042 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/choice/choice.0.3/opam |
No package is dependent
