Skip to content

eMoflon/emoflon-neo-updatesite

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

63 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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:

About

Hosts update sites for eMoflon::Neo

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages