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,  < 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