Hosts update sites for eMoflon::Neo
Go to file
2023-10-01 10:53:10 +02:00
snapshot Deployed after latest fixes. 2023-10-01 10:53:10 +02:00
.gitignore Updated to fix EMF model import 2021-01-08 12:19:20 +01:00
LICENSE Initial commit 2019-10-16 16:55:05 +02:00
README.md Update README.md 2023-10-01 09:30:54 +02:00

emoflon-neo-updatesite

Hosts update sites for eMoflon::Neo

To install eMoflon::Neo:

  1. Make sure you have a Java JDK 13 or newer installed

  2. Download the latest Eclipse IDE for Java and DSL Developers from https://www.eclipse.org/downloads/packages/ (make sure you choose the correct Eclipse package: Java and DSL!)

  3. Using the Eclipse Update Manager:

  4. Install GraphViz dot for your system: https://www.graphviz.org/download/ (make sure you can invoke dot from a terminal).

  5. (Optional) Install Gurobi 8.1.1 or newer. Note that Gurobi is only free for academic use. If you cannot or do not want to install Gurobi, Sat4J can be used as a (much less efficient!) solver (already available in Eclipse).

  6. Check out our tutorials: