Updates Gurobi dependency to v11.0.1

README.md

@@ -8,7 +8,7 @@
 * Install [AdoptOpenJDK 17 (HotSpot JVM)](https://adoptopenjdk.net/releases.html?variant=openjdk17&jvmVariant=hotspot) or newer.
 * Install eMoflon::IBeX as described [here](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
 * Install at least one of the supported ILP solvers:
-    * Install [Gurobi](https://www.gurobi.com/) in version `11.0.0` and activate a license for your computer.
+    * Install [Gurobi](https://www.gurobi.com/) in version `11.0.1` and activate a license for your computer.
         * Currently, Gurobi is the default ILP solver used in GIPS because of the great performance.
     * Install [GLPK](https://www.gnu.org/software/glpk/) in the newest version (`4.6.5`) and add it to your path.
         * GLPK is an open-source ILP solver that can be used without a charge.
@@ -47,7 +47,7 @@ By using this settings, you should be unable to commit unformatted code.
 * Install [AdoptOpenJDK 17 (HotSpot JVM)](https://adoptopenjdk.net/releases.html?variant=openjdk17&jvmVariant=hotspot) or newer.
 * Install eMoflon::IBeX as described [here](https://github.com/eMoflon/emoflon-ibex#how-to-develop).
 * Install at least one of the supported ILP solvers:
-    * Install [Gurobi](https://www.gurobi.com/) in version `11.0.0` and activate a license for your computer.
+    * Install [Gurobi](https://www.gurobi.com/) in version `11.0.1` and activate a license for your computer.
         * Currently, Gurobi is the default ILP solver used in GIPS because of the great performance.
     * Install [GLPK](https://www.gnu.org/software/glpk/) in the newest version (`4.6.5`) and add it to your path.
         * GLPK is an open-source ILP solver that can be used without a charge.

org.emoflon.gips.core.dependencies/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry exported="true" kind="lib" path="lib/gurobi-11.0.0.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/gurobi-javadoc-11.0.0.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/gurobi-11.0.1.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/gurobi-javadoc-11.0.1.jar"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry exported="true" kind="lib" path="lib/cplex-22.1.1.jar"/>

org.emoflon.gips.core.dependencies/.settings/org.eclipse.jdt.core.prefs

@@ -0,0 +1,9 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
+org.eclipse.jdt.core.compiler.compliance=17
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
+org.eclipse.jdt.core.compiler.release=enabled
+org.eclipse.jdt.core.compiler.source=17

org.emoflon.gips.core.dependencies/META-INF/MANIFEST.MF

@@ -7,9 +7,9 @@ Bundle-ClassPath: lib/cplex-22.1.1.jar,
  lib/glpk-java-1.12.0.jar,
  lib/glpk-java-1.12.0-javadoc.jar,
  lib/logicng-2.4.1.jar,
- lib/gurobi-11.0.0.jar,
- lib/gurobi-javadoc-11.0.0.jar
-Export-Package: com.gurobi.gurobi;version="11.0.0",
+ lib/gurobi-11.0.1.jar,
+ lib/gurobi-javadoc-11.0.1.jar
+Export-Package: com.gurobi.gurobi;version="11.0.1",
  ilog.concert;version="22.1.1",
  ilog.cplex;version="22.1.1",
  org.gnu.glpk;version="1.12.0",

org.emoflon.gips.core.dependencies/build.properties

@@ -3,5 +3,5 @@ bin.includes = META-INF/,\
                lib/glpk-java-1.12.0-javadoc.jar,\
                lib/logicng-2.4.1.jar,\
                lib/cplex-22.1.1.jar,\
-               lib/gurobi-11.0.0.jar,\
-               lib/gurobi-javadoc-11.0.0.jar
+               lib/gurobi-11.0.1.jar,\
+               lib/gurobi-javadoc-11.0.1.jar