You are here

Home

linux-relview

Sun, 06/06/2010 - 15:19 — Anonymous (not verified)
Comment: 
An interactive tool for manipulation of relations
Version: 
7.0.2

The RelView-System is an interactive tool for computer-supported
manipulation of relations represented as Boolean matrices or directed
graphs, especially for prototyping relational specifications and
programs. It is developed at the Department of Computer Science and
Applied Mathematics of Christian-Albrechts-University of Kiel.

md5: 
MD5 (relview-7.0.2.gz) = a2acd89c12546f12a8f337d1237e5688
Category: 
math
Url: 
http://www.informatik.uni-kiel.de/~progsys/relview.shtml