summaryrefslogtreecommitdiffstats
path: root/math/linux-relview/pkg-descr
diff options
context:
space:
mode:
authorobraun <obraun@FreeBSD.org>2002-10-25 17:02:42 +0000
committerobraun <obraun@FreeBSD.org>2002-10-25 17:02:42 +0000
commitd8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467 (patch)
tree54c85214a51c3504f5293844ad76722c4936de96 /math/linux-relview/pkg-descr
parent7906dc77fa7d44f67b82c081f11a4115ad6c0a2c (diff)
downloadFreeBSD-ports-d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467.zip
FreeBSD-ports-d8a2eef5bf1f0ee8bc71beb65ffeeb08ecedb467.tar.gz
Add linux-relview, an interactive tool for computer-supported
manipulation of relations. PR: 44462 Submitted by: Michael Ebert <ebert@informatik.unibw-muenchen.de>
Diffstat (limited to 'math/linux-relview/pkg-descr')
-rw-r--r--math/linux-relview/pkg-descr10
1 files changed, 10 insertions, 0 deletions
diff --git a/math/linux-relview/pkg-descr b/math/linux-relview/pkg-descr
new file mode 100644
index 0000000..5753e28
--- /dev/null
+++ b/math/linux-relview/pkg-descr
@@ -0,0 +1,10 @@
+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.
+
+WWW: http://www.informatik.uni-kiel.de/~progsys/relview.shtml
+
+- Michael Ebert
+ebert@informatik.unibw-muenchen.de
OpenPOWER on IntegriCloud