Uploaded at Oct 4 10:30:30 2023 (UTC)
Succesfully tested at Jan 29 02:47:20 2024

Curry Package clp-pakcs

clp-pakcs: CLP libraries for PAKCS

This package contains libraries for constraint logic programming. with real arithmetic and finite domain constraints. The implementation is based on the CLP libraries of Prolog so that this package can only be used with PAKCS.



Download

Checkout with CPM:
cypm checkout clp-pakcs 3.0.0
Package source:
clp-pakcs-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/clp-pakcs.git