Curry Tools
This directory contains some base tools for Curry that are used by different Curry systems, like PAKCS or KiCS2. These are:
cpm
This directory contains the Curry package manager (CPM)
with the main executable cypm
.
CPM is a tool to distribute and install Curry packages.
It can be used to download further Curry libraries and applications.
optimize
:
The implementation of optimization tools for Curry,
in particular, a transformation tool to replace Boolean equalities
by unification constraints.