• Copyright (C) 2013-2014 Olaf Lessenich

• Copyright (C) 2014-2015 University of Passau, Germany

  Authors: Olaf Lessenich, Georg Seibt

All rights reserved.

JDime is covered by the GNU Lesser General Public License.
The full license text is distributed with this software. See the LICENSE file.

JDime uses these tools/libraries:

• JastAddJ (https://bitbucket.org/jastadd/jastaddj)

  Commit c0017e0
  Copyright (c) 2005-2008, Torbjörn Ekman
  Copyright (c) 2005-2013, JastAddJ Committers
  JastAddJ is covered by the Modified BSD License.
  The full license text is distributed with this software.
  See the file licenses/JastAddJ-BSD.

The changes that were made to JastAddJ are shipped with this software
and covered by the Modified BSD License.
See patches/JastAddJ.patch for the changes,
and patches/LICENSE for the license text.

• gradle (http://www.gradle.org/) >=2.2
• git (http://git-scm.com/)
• glpk (http://www.gnu.org/software/glpk/) =4.55
• glpk-java (http://glpk-java.sourceforge.net/) =4.55

Debian/Ubuntu:
apt-get install git glpk libglpk-java

Redhat/Fedora:
yum install git glpk
glpk-java has to be installed manually

Suse/OpenSuse:
zypper install git glpk
glpk-java has to be installed manually

Windows:
Precompiled binaries (including the required .dll files for glpk and glpk-java) can be found at (http://sourceforge.net/projects/winglpk/)

Use gradle -Pglpk=PATH -PglpkJava=PATH installApp providing the paths to the glpk_X_XX and glpk_X_XX_java native libraries appropriate for your platform. X_XX refers to the version of glpk, currently version 4.55 is required.

After running the command given above the directory build/install/JDime/bin will contain Unix and Windows scripts that you can use to start the application.

The input versions are passed to JDime as command line arguments. To perform a three-way merge, JDime is invoked as follows:

JDime -mode [unstructured|structured|autotuning] -output [directory] <leftVersion> <baseVersion> <rightVersion>