:pserver:anonymous@cvs.informatik.uni-kiel.de:/cvs/kure
and the modules are called kure-1.0 and tar.
There is also the possibility to download the system at the URL
http://cvs.informatik.uni-kiel.de/
where it is located in the repository kure, either as a collection of
the source files in the directory kure-1.0/, or as a zipped tar file
named kure-1.0.tar.gz in the directory tar/.
Once you have this file,
gzip -dc kure-1.0.tar.gz | tar xvf -
will create directory kure-1.0 and its subdirectories. These directories
contain the relation package and two toy applications based on the relation
package. There is a README file with instructions on configuration and
installation in kure-1.0. You can use a compiler for ANSI C.
Once you have made the library and program, you can type:
3SAT-solver < Input-3SAT-solver
This will run a simple relational program for solving instances of 3-SAT
(On a 500 MHz Ultra Sparc, it takes about 0.01 sec.).
If you want to be notified of new releases of the KURE package, send a message to umi@informatik.uni-kiel.de.