Commit faf5e4e8 authored by leberre's avatar leberre
parent 9a9517da
......@@ -3,13 +3,13 @@ Bundle-ManifestVersion: 2
Bundle-Name: %bundleName
Bundle-SymbolicName: org.sat4j.pb
Bundle-Version: 9.9.9.token
Export-Package: org.sat4j.pb,
org.sat4j.pb.constraints,
org.sat4j.pb.constraints.pb,
org.sat4j.pb.core,
org.sat4j.pb.orders,
org.sat4j.pb.reader,
org.sat4j.pb.tools
Export-Package: org.sat4j.pb;version="9.9.9.token",
org.sat4j.pb.constraints;version="9.9.9.token",
org.sat4j.pb.constraints.pb;version="9.9.9.token",
org.sat4j.pb.core;version="9.9.9.token",
org.sat4j.pb.orders;version="9.9.9.token",
org.sat4j.pb.reader;version="9.9.9.token",
org.sat4j.pb.tools;version="9.9.9.token"
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Require-Bundle: org.sat4j.core
......@@ -19,7 +19,7 @@ Specification-Title: SAT4J
Specification-Version: NA
Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
Implementation-Version: 2.0
Implementation-Version: 9.9.9.token
Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
Class-Path: org.sat4j.core.jar
Bundle-RequiredExecutionEnvironment: J2SE-1.4
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