Skip to content

Latest commit

 

History

History
20 lines (15 loc) · 1.72 KB

README.md

File metadata and controls

20 lines (15 loc) · 1.72 KB

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: