SoSy-Lab Download Site for Eclipse Plug-ins

Install plug-ins from this update site as follows:

Start Eclipse, then:
  1. Click on "Help" -> "Install New Software ..."
  2. Copy and paste the following URL into the field "Work with:"
    http://www.sosy-lab.org/~dbeyer/eclipse-download/
    and click "Add ..."
  3. In the "Add Site" dialog, assign a name and click "Ok"
  4. Choose the software package to install and go ahead installing it ...
  5. Restart Eclipse, then "Open Perspective" -> "Other ..." and choose the plug-in, e.g., DepDigger.
For documentation of the software packages, please visit the corresponding project home page:
Author: Dirk Beyer, other project pages: BLAST, CCVisu, Chic, CrocoPat, CSIsat, Rabbit