searchtree: Representing non-deterministic computations as a search tree

This package contains libraries which define operations to encapsulate non-deterministic computations in data structures, e.g., lists or trees. Furthermore, various search strategies on search tree structures are defined.

The library implements strong encapsulation as discussed in this paper.

Note that the functionality of this package is largely contained in the modules Control.Search/... of the base package since version 3.3.0, which is part of newer Curry distributions.

Download

Checkout with CPM:

cypm checkout searchtree 3.0.0

Package source:

searchtree-3.0.0.tar.gz [browse]

Source repository:

https://github.com/curry-packages/searchtree.git