diff options
Diffstat (limited to 'math/linux-relview/pkg-descr')
| -rw-r--r-- | math/linux-relview/pkg-descr | 10 |
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 000000000000..5753e28d3aa6 --- /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 |