package choice

  1. Overview
  2. Docs
Monadic combinators for enumerating alternatives.

Install

github.com Edit opam file

Authors

  1. S
    Simon Cruanes <simon.cruanes.2007@m4x.org>

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

0.3.tar.gz
md5=022db6b3d1afc27e4bb76e049c852042

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: 06 Mar 2018

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None