allvalues-4.0.0 --------------- Version 4.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://github.com/curry-packages/allvalues.git@v4.0.0 License BSD-3-Clause License file LICENSE