Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

The KURE for your relational problems

KURE is an abbreviation for ``Kiel University Relation package''. It is a linkable library written in C, which contains the relational functions of RelView. The idea behind KURE is to give programmers an easy to use library in order to write programs in other program languages.

• The documentation of KURE.

• You can download the system from our CVS-Server. It is located in the repository kure, either as a collection of the source files in the directory kure-1.0/, or as a gzipped tar file in the directory tar/.

• You can also have access via anonymous CVS. On a UNIX system you have to set the variable CVSROOT to the value:

      :pserver:anonymous@cvs.informatik.uni-kiel.de:/cvs/kure 

  The modules are called kure-1.0 and tar.

• Oliver Szymanksi from the University of Dortmund has developed a Java library of KURE. It consists of the following files:

  1. kureLib.h is the file kure.h with the constants integrated (easier to compile).
  2. kureJava.h is the header for the Java Native Interface (JNI) layer around KURE.
  3. kureJava.c is the source code for the JNI layer around KURE.
  4. include.zip is actually included in every Java SDK. It is needed in order to compile the JNI layer.
  5. Makefile for compiling the JNI layer with CygWin.
  6. kurejava.jar is the library as a Java archive file.
  If you want to use the library, then you have to compile KURE together with kureJava.h and kureJava.c (and include the files from include.zip or from JDK). The generated .dll or .so has to be delivered to the context during the initialization of the library.

• If you are a local user, than you have to include either /home/progsys/include/kure.h or /home/progsys/include/kureInt.h in your source file. Furthermore, you have to link your executable to the files libkure.a, libcudd.a, libmtr.a, libst.a, libutil.a, libepd.a and libdddmp.a, which are located in the directories /home/progsys/kure/lib and /home/progsys/cudd-2.3.1/lib.

Please send any comments, question and bug reports of the package to:

Ulf Milanese, e-mail: umi@informatik.uni-kiel.de