choice
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 .
Homepage | https://github.com/c-cube/choice/ |
---|---|
Maintainer | simon.cruanes@inria.fr |
Events
Jun 19, 2013
Published version 0.1