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.