setfunction-synthesis-0.0.1 --------------------------- Version 0.0.1 Author Niels Bunkenburg <stu114713@informatik.uni-kiel.de> 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 Executable Name synsetfun Main module Main Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/setfunction-synthesis.git@v0.0.1 License BSD-3-Clause License file LICENSE