eMoflon::IBeX - Eclipse Plugin Update Site

How to install

1. Install GraphViz.
2. Get the latest version of the Eclipse Modeling Tools. You need at least Eclipse 2024-06.
3. Install eMoflon::IBeX from this update site: https://emoflon.org/emoflon-ibex-updatesite/snapshot/updatesite/
   • Select the eMoflon::IBeX (Democles) feature to install eMoflon::IBeX along with the Democles pattern matching tool.
   • Select the eMoflon::IBeX (HiPE) feature to install eMoflon::IBeX along with the HiPE, our new parallel pattern matching tool.
4. If dependencies were not found, go to Eclipse->Help->Install New Software...->Manage... and activate the following update sites:
   • Xtext: http://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/
   • PlantUML: http://hallvard.github.io/plantuml/
   • HiPE: https://hipe-devops.github.io/HiPE-Updatesite/hipe.updatesite/
5. Retry step 3.

Now you are ready to use eMoflon::IBeX.

1. (Optional) Install GLPK for Windows or install GLPK via your package manager (Linux).
2. (Optional) Install Gurobi 7.0.2 (make sure it is exactly this version!)
3. (Optional) Install Google OR (not necessary on 64-bit Windows)

Note that Gurobi is only free for academical use (but not for commercial).