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):
- For SunOS 5.7:
- Math Library (libm.so.1)
- Text Domain Library (libintl.so.1)
- GTK+ (libgtk-1.2.so.0)
- Gimp Development Kit (libgdk-1.2.so.0)
- GNU Modules (libgmodule-1.2.so.0)
- GNU Library (libglib-1.2.so.0)
- Dynamic Linker (libdl.so.1)
- X Extensions (libXext.so.0)
- X11 Library (libX11.so.4)
- Socket Library (libsocket.so.1)
- New Socket Library (libnsl.so.1)
- Multiple Precision Library (libmp.so.2)
- C Library (libc.so.1)
- Memory Library (libc_psr.so.1)
- For LINUX:
- LINUX ix86 (2.2.14)
- Math Library (libm.so.6)
- GTK+ (libgtk-1.2.so.0)
- Gimp Development Kit (libgdk-1.2.so.0)
- GNU Modules (libgmodule-1.2.so.0)
- GNU Library (libglib-1.2.so.0)
- Dynamic Linker (libdl.so.2)
- Xi Library (libXi.so.6)
- X Extensions (libXext.so.6)
- X11 Library (libX11.so.6)
- C Library (libc.so.6)
- Link Editor (/lib/ld-linux.so.2)
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:
- 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.
- 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.