KURE: Kiel University Relation Package. KURE is an abbreviation for “Kiel University Relation package”. 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. Historically, the Kure library originates from the RelView tool. Today, Kure is a standalone static library, that does not depend on any part of the RelView tool
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Fronk, Alexander; Kehden, Britta: State space analysis of Petri nets with relation-algebraic methods (2009)
- Kahl, Wolfram: Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (2008)