searchtree-3.0.0 ---------------- Version 3.0.0 Author Michael Hanus Synopsis Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list Category Logic Programming Control Dependencies base >= 3.0.0, < 4.0.0 random >= 3.0.0, < 4.0.0 Compiler compatibility pakcs >= 3.0.0, < 4.0.0 kics2 >= 3.0.0, < 4.0.0 curry2go >= 1.0.0 Exported modules Control.SearchTree Control.SearchTree.Generators Control.SearchTree.Traversal Control.AllSolutions Control.Findall Control.ValueSequence Test suite Directory test Test modules TestAllSolutions Source Git https://github.com/curry-packages/searchtree.git@v3.0.0 License BSD-3-Clause License file LICENSE