Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering, Christian-Albrechts-University of Kiel
Logo of the Working Group
RelView - Download

RelView 8.2

An updated version with simple compilation and installation support has been released. You can obtain it here.

RelView 8.1

Since version 8.0 binary packages are only available for Linux systems any more. If you do not have Linux but, for instance, Microsoft Windows systems, please see below.

Dependencies

RelView requires some libraries which have to be installed on your system. It is highly likely that most of these libaries are already installed on your systems. If not, in most cases they are easily installable using the package managing system which is used by you distribution, for instance, apt for Ubuntu and Debian and rpm for Fedora, Mandriva and OpenSuse. The dependencies are:

There is a 32-bit (i386) and a 64-bit (x86_64) version available. If you do not know which is right for you, call uname -m. If the result does not have a _64 suffix, use the the i386 version. The source can be compiled on both x86 and x86_64 platforms.

You can also download the plugins separately.

Name Version Download Description
ascii 1.1 i386, x86_64, source Read/write relations and graph in ASCII format.
graph-drawing 1.0 i386, x86_64, source Graph drawing routines. For instance, planar, orthogonal, spring and so on.
robdd-info 1.0 i386, x86_64, source Show information for a ROBDD representing a relation.
wvg 1.0 i386, x86_64, source Creates a vector representation from a weighted voting game.
simple-game-labels 1.1 i386, x86_64, source Creates labels for a relation which show the number of elements in the rows and the columns.

Relview 8.0

Since version 8.0 binary packages are only available for Linux systems any more. If you do not have Linux but, for instance, Microsoft Windows systems, please see below.

Dependencies

RelView requires some libraries which have to be installed on your system. It is highly likely that most of these libaries are already installed on your systems. If not, in most cases they are easily installable using the package managing system which is used by you distribution, for instance, apt for Ubuntu and Debian and rpm for Fedora, Mandriva and OpenSuse. The dependencies are:

There is a 32-bit (i386) and a 64-bit (x86_64) version available. If you do not know which is right for you, call uname -m. If the result does not have a _64 suffix, use the the i386 version. The source can be compiled on both x86 and x86_64 platforms.

NOTE: There is currently a bug in the routines for counting the number of elements of a very large relation which only affects the 64-bit version. The results itself are not affected. We are working to fix that problem in version 8.0.1.

You should also install the following set of plugins. To install a plugins extract the archive into the directory $HOME/.relview-8.0/plugins/.

You can also download the plugins separately.

Name Version Download Description
ascii 1.0 i386, x86_64, source Read/write relations and graph in ASCII format.
graph-drawing 1.0 i386, x86_64, source Graph drawing routines. For instance, planar, orthogonal, spring and so on.
robdd-info 1.0 i386, x86_64, source Show information for a ROBDD representing a relation.
wvg 1.0 i386, x86_64, source Creates a vector representation from a weighted voting game.
simple-game-labels 1.0 i386, x86_64, source Creates labels for a relation which show the number of elements in the rows and the columns.

Version 7.2

Dependencies

On most systems RelView should start out of the box. If not, take a look at the following software requirements and install them, if necessary. Most of them should be installed by default, except for GMP maybe.

Currently only compiled packages for sparc based SunOS workstations and x86 based Linux systems are available. This does not mean, that RelView is limited to such systems, but no other systems are available to compile the system on. Nevertheless, there won't be a version for Microsoft(r) Windows(r) available in the near future.

There are some more libraries, which should be not relevant. But if you encounter any missing dependencies, contact stb.

Download RelView 7.2

Version 7.0

The current system can only be used on a SUN-workstation or on an INTEL-based LINUX-system.

  • The FreeBSD-port of RelView 7.0 by Michael Ebert

  • Software Requirements (and tested systems):

    You can download the system from our FTP-Server. It is located in the directory /pub/kiel/relview. Please have a look at the README file.

    What if I do not have Linux?

    There are two convenient ways to use RelView in this case:
    1. Many Linux distributors such as Ubuntu, Mandriva, Fedora and OpenSUSE provide Live versions of their distributions which can be used without installation from a CD, DVD or USB device. These versions usually are sufficient to run RelView. Linux is usually available without any fee.
    2. Use a desktop virtualization solution such as the VMPlayer by VMWare which is free of charge but requires a registration on the VMWare website. VMPlayer allows you to install Linux inside you existing operating system. You should be able to use any of the above distributions for this solution.
     
    Rudolf Berghammer - rub@informatik.uni-kiel.de
    Last modified: 25-Jan-2016, 12:21:23 CET