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.