Curry Package 'clp-pakcs'

API documentation

Package metadata:

clp-pakcs-1.0.0
---------------
Version      1.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     CLP libraries for PAKCS
Category     Constraints
Dependencies
    base >= 1.0.0,  < 2.0.0
Compiler compatibility
    pakcs >= 2.0.0
Exported modules
    CLP.FD CLP.R
Test suite
    Directory     examples
    Test modules  Mortgage SMM
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/clp-pakcs.git@v1.0.0
License
    BSD-3-Clause
License file
    LICENSE