allvalues-3.0.0 --------------- Version 3.0.0 Author Michael Hanus Synopsis Libraries with operations to strongly encapsulate non-deterministic computations Category Logic Programming Dependencies base >= 3.0.0, < 4.0.0 searchtree >= 3.0.0, < 4.0.0 Exported modules Control.AllValues Test suite Directory test Test modules TestAllValues Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/allvalues.git@v3.0.0 License BSD-3-Clause License file LICENSE