diff options
Diffstat (limited to 'bundles/org.sat4j.pb/META-INF/MANIFEST.MF')
| -rw-r--r-- | bundles/org.sat4j.pb/META-INF/MANIFEST.MF | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/bundles/org.sat4j.pb/META-INF/MANIFEST.MF b/bundles/org.sat4j.pb/META-INF/MANIFEST.MF new file mode 100644 index 000000000..32bd2ee0a --- /dev/null +++ b/bundles/org.sat4j.pb/META-INF/MANIFEST.MF @@ -0,0 +1,26 @@ +Manifest-Version: 1.0 +Ant-Version: Apache Ant 1.7.1 +Created-By: 23.7-b01 (Oracle Corporation) +Bundle-ManifestVersion: 2 +Bundle-Name: %bundleName +Bundle-SymbolicName: org.sat4j.pb +Bundle-Version: 2.3.5.v20130525 +Export-Package: org.sat4j.pb;version="2.3.5.v20130525",org.sat4j.pb.co + nstraints;version="2.3.5.v20130525",org.sat4j.pb.constraints.pb;versi + on="2.3.5.v20130525",org.sat4j.pb.core;version="2.3.5.v20130525",org. + sat4j.pb.orders;version="2.3.5.v20130525",org.sat4j.pb.reader;version + ="2.3.5.v20130525",org.sat4j.pb.tools;version="2.3.5.v20130525" +Bundle-Vendor: %providerName +Bundle-Localization: plugin +Require-Bundle: org.sat4j.core +Built-By: Daniel Le Berre +Main-Class: org.sat4j.pb.LanceurPseudo2007 +Specification-Title: SAT4J +Specification-Version: NA +Specification-Vendor: Daniel Le Berre +Implementation-Title: SAT4J +Implementation-Version: 2.3.5.v20130525 +Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois +Bundle-RequiredExecutionEnvironment: J2SE-1.5 +Class-Path: org.sat4j.core.jar + |