Commit b2d0f07a authored by Daniel Le Berre's avatar Daniel Le Berre

Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j

parents 285b8c23 016981c0
Pipeline #7764 passed with stages
in 196 minutes
......@@ -9,4 +9,5 @@ Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Class-Path: org.sat4j.core.jar
Automatic-Module-Name: org.ow2.sat4j.br4cp
Bundle-RequiredExecutionEnvironment: J2SE-1.5
......@@ -29,4 +29,5 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Automatic-Module-Name: org.ow2.sat4j.core
Bundle-RequiredExecutionEnvironment: J2SE-1.5
......@@ -7,4 +7,5 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Automatic-Module-Name: org.ow2.sat4j.intervalorders
Class-Path: org.sat4j.core.jar org.sat4j.pb.jar
\ No newline at end of file
......@@ -7,4 +7,5 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 2.0
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Automatic-Module-Name: org.ow2.sat4j.maxsat
Class-Path: org.sat4j.pb.jar lib/commons-cli.jar
......@@ -22,4 +22,5 @@ Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Class-Path: org.sat4j.core.jar
Automatic-Module-Name: org.ow2.sat4j.pb
Bundle-RequiredExecutionEnvironment: J2SE-1.5
......@@ -7,4 +7,5 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Automatic-Module-Name: org.ow2.sat4j.sat
Class-Path: org.sat4j.core.jar org.sat4j.pb.jar lib/commons-beanutils.jar lib/commons-cli.jar lib/commons-logging.jar
......@@ -7,4 +7,5 @@ Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Automatic-Module-Name: org.ow2.sat4j.sudoku
Class-Path: org.sat4j.core.jar lib/jlfgr-1_0.jar
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment