package choice
Monadic combinators for enumerating alternatives.
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.tar.gz
md5=ce9cfb1f6731c51b7b86fc6c269c327f
Description
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 .
Published: 19 Jan 2017
Dependencies (3)
-
ocamlbuild
build -
ocamlfind
build - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page