emoflon-neo-updatesite
Hosts update sites for eMoflon::Neo
To install eMoflon::Neo:
- Make sure you have a Java JDK 13 or newer installed
-
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!)
- 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)
- Install GraphViz dot for your system: https://www.graphviz.org/download/ (make sure you can invoke dot from a terminal).
- (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).
- Check out our tutorials: