/desij

DesiJ is a tool for STG decomposition

Primary LanguageJavaMIT LicenseMIT

DesiJ

DesiJ is a Tool for STG decomposition.

Installation

DesiJ requires a Java runtime environment (JRE) v1.7 (or later) in order to run.

For some features of DesiJ these software packages may be required:

Usage

To start DesiJ execute bin/DesiJ (Unix) or bin\DesiJ.bat (Windows). If you want to start DesiJ with a graphical user interface, execute bin/DesiJ_gui (Unix) or bin\DesiJ_gui.bat (Windows).

To list all commandline options that DesiJ offers, execute DesiJ with the "-h" option or without any options.

Build instructions

To build DesiJ, Apache Maven v3.1.1 (or later) and the Java Development Kit (JDK) v1.7 (or later) are required.

  1. Install libraries, that can't be obtained from a central Maven repository

    mvn install:install-file -Dfile=./src/main/resources/lib/javailp/javailp-1.1.jar -DpomFile=./src/main/resources/lib/javailp/pom.xml
    mvn install:install-file -Dfile=./src/main/resources/lib/lpsolve/lpsolve55j.jar -DpomFile=./src/main/resources/lib/lpsolve/pom.xml
    
  2. Execute mvn clean install