mirror of
https://github.com/Echtzeitsysteme/gips.git
synced 2024-06-02 02:32:04 +00:00
16 lines
1 KiB
XML
16 lines
1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<classpath>
|
|
<classpathentry exported="true" kind="lib" path="lib/logicng-parser-j8-2.5.0.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/logicng-parser-j8-2.5.0-javadoc.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/logicng-2.5.0.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/logicng-2.5.0-javadoc.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/gurobi-11.0.2.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/gurobi-javadoc-11.0.2.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"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/glpk-java-1.12.0.jar"/>
|
|
<classpathentry exported="true" kind="lib" path="lib/glpk-java-1.12.0-javadoc.jar"/>
|
|
<classpathentry kind="output" path="bin"/>
|
|
</classpath>
|