Control.AllSolutions
Control.Findall
Control.SearchTree
Control.SearchTree.Generators
Control.SearchTree.Traversal
Control.ValueSequence
Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list
Detailed package documentation (available shortly after this version has been published)