This package contains the library
Control.Search.Unsafe which defines a representation of a search space as a tree and various search strategies on this tree. The library implements strong encapsulation as discussed in this paper.
In contrast to the library
Control.SearchTree of package
searchtree, the implementation of this library has the property that free variables that are not bound in the encapsulated expression remain free! This may lead to non-determinism if such an escaped variable is bound later via pattern matching.