[an error occurred while processing this directive]

<p style="color:red;">
  <b>NOTE:</b> This page is related to the Kure<b>1</b> library which was
  replaced by the Kure<b>2</b> library. You should NOT use this library in
  newly written code and instead use the new version which is
  available
  at <a href="http://korsika.informatik.uni-kiel.de/kure2/">http://korsika.informatik.uni-kiel.de/kure2/</a>.
</p>

<h3>The KURE for your relational problems</h3>

<p><strong>KURE</strong> is an abbreviation for ``<strong>K</strong>iel
<strong>U</strong>niversity <strong>Re</strong>lation 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.</p>

<ul>
<li><p>The <a href="http://cvs.informatik.uni-kiel.de/~kure/">documentation</a>
    of KURE.</p></li>
<li><p>You can download the system from our <a
    href="http://cvs.informatik.uni-kiel.de/">CVS-Server</a>.
    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 t../templates/p></li>
<li><p>You can also have access via anonymous CVS. On a UNIX system you
    have to set the variable <code>CVSROOT</code> to the value:
    <pre>
    :pserver:anonymous@cvs.informatik.uni-kiel.de:/cvs/kure </pre>
    The modules are called <code>kure-1.0</code> and <code>tar</code>.</p></li>
<li><p><a href="mailto:oliver.szymanski@uni-dortmund.de">Oliver Szymanksi</a> from
    the University of Dortmund has developed a Java library of KURE.
    It consists of the following files:
    <ol>
    <li><a href="KURE/kureLib.h"><code>kureLib.h</code></a> is the file
        <code>kure.h</code> with the constants integrated (easier to
         compile).</li>
    <li><a href="KURE/kureJava.h"><code>kureJava.h</code></a> is the
        header for the Java Native Interface (JNI) layer around KURE.</li>
    <li><a href="KURE/kureJava.c"><code>kureJava.c</code></a> is the
        source code for the JNI layer around KURE.</li>
    <li><a href="KURE/include.zip"><code>include.zip</code></a> is actually
        included in every Java SDK. It is needed in order to compile the
        JNI layer.</li>
    <li><a href="KURE/Makefile"><code>Makefile</code></a> for compiling the
        JNI layer with CygWin.</li>
    <li><a href="KURE/kurejava.jar"><code>kurejava.jar</code></a> is the
        library as a Java archive file.</li>
    </ol>
    If you want to use the library, then you have to compile KURE together
    with <code>kureJava.h</code> and <code>kureJava.c</code> (and include
    the files from <code>include.zip</code> or from JDK).
    The generated <code>.dll</code> or <code>.so</code> has to be delivered
    to the context during the initialization of the library.</p></li>
<li><p>If you are a local user, than you have to include either
    <code>/home/progsys/include/kure.h</code> or
    <code>/home/progsys/include/kureInt.h</code> in your source file.
    Furthermore, you have to link your executable to the files
    <code>libkure.a</code>,
    <code>libcudd.a</code>, <code>libmtr.a</code>, <code>libst.a</code>,
    <code>libutil.a</code>, <code>libepd.a</code> and
    <code>libdddmp.a</code>, which are located in the directories
    <code>/home/progsys/kure/lib</code> and
    <code>/home/progsys/cudd-2.3.1/lib</code>.</p></li>
</ul>
<p>Please send any comments, question and  bug reports of the package to:</p>

<p><a href="../templates/umi/">Ulf Milanese</a>,
e-mail: <a
href="mailto:umi@informatik.uni-kiel.de">umi@informatik.uni-kiel.de</a></p>
[an error occurred while processing this directive]

02-Jul-2012, 16:41:51 CEST
</div>
</body>
</html>