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:
    • Install http://hallvard.github.io/plantuml/ (choose and install all categories)
    • Install https://emoflon.org/emoflon-neo-updatesite/snapshot/ (if you see the message There are no categorized items you can uncheck the Group items by category check box to see items without categories)
  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: