1. Installation

Unpack all the files in an empty directory.

2. Compilation

Type "make" at the unix prompt.

3. Running

The main program is called "exhaust_rcc5", and results
from the compilation. Just run this program without any
parameters, and await its termination. Success or failure
messages are output during execution.

Also provided is the program "rcc5close" computes the closure
of a set of RCC-5 relations, and is run with the file
containing the relations as an argument.
