Kiel University Relation package Icon

Kiel University Relation package

Fast C library for relation algebra using binary decision diagrams.

Add a Review
0 Downloads (This Week)
Last Update:
Download kure2-2.2.tar.gz
Browse All Files
Windows BSD Linux


Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.

Kiel University Relation package Web Site


  • Representation and manipulation of arbitrary large relations, e.g. 2^100 x 2^100.
  • Relational constants: All, null, identity.
  • Special relations: Membership, partial and total functions, successors, domain.
  • Basic functions: Join, meet, composition, complement, transpose.
  • Comparison of relations and comparison of relations by cardinality.
  • Reflexive, symmetric and transitive closures.
  • Left and right residue and symmetric quotient.
  • Direct sum, tupling, product order and sum order.
  • Domains for binary direct products and direct sums including projection functions.
  • Fully scriptable and extensible using Lua.
  • Domain-specific embedded programming language for high level scripting.
  • Written in C using POSIX.


Write a Review

User Reviews

Be the first to post a review of Kiel University Relation package!

Additional Project Details



Intended Audience

Science/Research, Developers

Programming Language

C, Lua, Yacc



Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks