Switches LogicNG parser to j8

This commit is contained in:
Maximilian Kratz 2024-05-19 13:37:21 +02:00
parent b742bed6a6
commit 90dcc0d885
7 changed files with 7 additions and 7 deletions

View file

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry exported="true" kind="lib" path="lib/logicng-parser-j11-2.5.0.jar"/>
<classpathentry exported="true" kind="lib" path="lib/logicng-parser-j11-2.5.0-javadoc.jar"/>
<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"/>

View file

@ -8,10 +8,10 @@ Bundle-ClassPath: lib/cplex-22.1.1.jar,
lib/glpk-java-1.12.0-javadoc.jar,
lib/logicng-2.5.0.jar,
lib/logicng-2.5.0-javadoc.jar,
lib/logicng-parser-j11-2.5.0.jar,
lib/logicng-parser-j11-2.5.0-javadoc.jar,
lib/gurobi-11.0.2.jar,
lib/gurobi-javadoc-11.0.2.jar
lib/gurobi-javadoc-11.0.2.jar,
lib/logicng-parser-j8-2.5.0.jar,
lib/logicng-parser-j8-2.5.0-javadoc.jar
Export-Package: com.gurobi.gurobi;version="11.0.2",
ilog.concert;version="22.1.1",
ilog.cplex;version="22.1.1",

View file

@ -6,5 +6,5 @@ bin.includes = META-INF/,\
lib/gurobi-javadoc-11.0.2.jar,\
lib/logicng-2.5.0.jar,\
lib/logicng-2.5.0-javadoc.jar,\
lib/logicng-parser-j11-2.5.0.jar,\
lib/logicng-parser-j11-2.5.0-javadoc.jar
lib/logicng-parser-j8-2.5.0.jar,\
lib/logicng-parser-j8-2.5.0-javadoc.jar