searchtree-1.0.0
----------------
Version 1.0.0
Author Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis Libraries with operations to strongly encapsulated
non-deterministic computations as a search tree or list
Category Logic Programming
Dependencies
base >= 1.0.0, < 2.0.0
random >= 0.0.1
Compiler compatibility
pakcs >= 2.0.0
kics2 >= 2.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.0.0
License
BSD-3-Clause
License file
LICENSE