Computer-Aided Program Development Group (until March 31st, 2019)


RelView version 8.2 has been released. This is a minor release incorporating a handful of bug fixes and some new features. Some changes are listed below:

  • Expansion of the drawing area during EPS-Export 
  • PDF Export available (uses GhostScript and EPS2PDF Script by Thomas Esser)
  • Node limit can now be specified, to prevent long calculation during graph rendering
  • Enabling/disabling of windows when relation- or graph node limit was reached

Due to the RelView Update some changes were made to the Kure plug-in:

  • Dimension check for "equals" and "includes" functions
  • Wrong behavior of cardfilter function is fixed
  • Reimplemented the calculation of BDD minterms

All listed plugins are now compatible to the new RelView 8.2 version. The graphDrawing layer algorithm is fixed. Now helper nodes are displayed again.


How to install RelView 8.2 on an Linux machine

  1. Install the dependencies. You'll need the following tools:

    You can install them on Ubuntu by using the package manager and the following command:

    sudo apt-get install liblua5.1-0-dev liblua50-dev liblualib50-dev lua5.1 libgmp3-dev glib-2.0 libglade2-0 pango-1.0 libxml2 libxml2-dev libcairo2-dev libgdk-pixbuf2.0-0 gtk+-2.0

  2. Download the install script.
  3. Open the directory you have downloaded the script into in your terminal.
  4. Type chmod +x to make the script executable.
  5. Run the script using ./ <PathToInstallationFolder>
    Note: the <PathToInstallationFolder> is required and RelView will be installed in this folder. If the folder requires root access, you should run the command above as super-user: sudo ./ <PathToInstallationFolder>
  6. RelView is now installed in <PathToInstallationFolder>/relview/bin and its executable is the file relview-bin.

RelViews soruces are available on GitHub.

How to install the virtual machine running RelView 8.2 on Microsoft Windows, Linux, and Mac OSX

  1. Download and install VirtualBox.
  2. Download the virtual machine. Additional instructions to run RelView are available at the aforementioned website.

Functions und Documentation

The list of base functions is avalaible here. Additional information is available here and here.