Commit 1c7bb068 authored by leberre's avatar leberre
parent aff7b759
......@@ -3,22 +3,22 @@ Bundle-ManifestVersion: 2
Bundle-Name: %bundleName
Bundle-SymbolicName: org.sat4j.core
Bundle-Version: 9.9.9.token
Export-Package: org.sat4j,
org.sat4j.core,
org.sat4j.minisat,
org.sat4j.minisat.constraints,
org.sat4j.minisat.constraints.card,
org.sat4j.minisat.constraints.cnf,
org.sat4j.minisat.core,
org.sat4j.minisat.learning,
org.sat4j.minisat.orders,
org.sat4j.minisat.restarts,
org.sat4j.minisat.uip,
org.sat4j.opt,
org.sat4j.reader,
org.sat4j.specs,
org.sat4j.tools,
org.sat4j.tools.xplain
Export-Package: org.sat4j;version="9.9.9.token",
org.sat4j.core;version="9.9.9.token",
org.sat4j.minisat;version="9.9.9.token",
org.sat4j.minisat.constraints;version="9.9.9.token",
org.sat4j.minisat.constraints.card;version="9.9.9.token",
org.sat4j.minisat.constraints.cnf;version="9.9.9.token",
org.sat4j.minisat.core;version="9.9.9.token",
org.sat4j.minisat.learning;version="9.9.9.token",
org.sat4j.minisat.orders;version="9.9.9.token",
org.sat4j.minisat.restarts;version="9.9.9.token",
org.sat4j.minisat.uip;version="9.9.9.token",
org.sat4j.opt;version="9.9.9.token",
org.sat4j.reader;version="9.9.9.token",
org.sat4j.specs;version="9.9.9.token",
org.sat4j.tools;version="9.9.9.token",
org.sat4j.tools.xplain;version="9.9.9.token"
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Built-By: Daniel Le Berre
......@@ -27,6 +27,6 @@ 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
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