ICS 1.0 Source Download

Before downloading ICS 1.0.alpha, please fill in the ICS license and send it back to SRI.

Source Distribution

Sources and documentation. These files can be extracted using the following sequence of shell commands in adirectory of your choice.
```
       $ mkdir ics
       $ cd ics
       $ tar zxvf ics-1.0.alpha.tar.gz
       
```
An executable can be build using the the commands.
```
      $ ./configure [--with-gmp=/path/to/gmp] [--prefix=/path/to/binaries]
      $ make
      
```
This requires Objective Caml version 3.04 or later and the multi-precision arithmetic library GNU MP version 4.1 or later. Now, the ICS interactor is called using
```
     $ ./ics
     
```
The executables and libraries can be installed in /path/to/binaries using
```
     $ make install
     
```

Documentation

gzipped postscript or

Executables for Redhat Linux 7.2

Back to the main ICS homepage

Last modified: Thu Nov 13 01:07:26 PST 2003 by Harald Rueß