searchtree-1.1.0 ---------------- Version 1.1.0 Author Michael Hanus Synopsis Libraries with operations to strongly encapsulated non-deterministic computations as a search tree or list Category Logic Programming Dependencies base >= 1.1.0, < 2.0.0 random >= 0.0.1 Compiler compatibility pakcs >= 2.2.1, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Exported modules Control.SearchTree Control.SearchTree.Generators Control.SearchTree.Traversal Control.AllSolutions Control.Findall Control.ValueSequence Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/searchtree.git@v1.1.0 License BSD-3-Clause License file LICENSE