File: README.md

package info (click to toggle)
curry-tools 2.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 3,328 kB
  • sloc: ruby: 154; makefile: 119; sh: 85
file content (17 lines) | stat: -rw-r--r-- 530 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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.