setfunction-synthesis-0.0.1 --------------------------- Version 0.0.1 Author Niels Bunkenburg Synopsis Prototype implementation of synthesizing set functions Category Logic Programming Dependencies abstract-curry >= 2.0.0 currypath >= 0.0.1 finite-map >= 0.0.1 flatcurry >= 2.0.0 flatcurry-annotated >= 2.0.0 searchtree >= 1.0.0 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 Executable Name synsetfun Main module Main Source Git https://github.com/curry-packages/setfunction-synthesis.git@v0.0.1 License BSD-3-Clause License file LICENSE