Commit 667df7cc authored by leberre's avatar leberre
parent 1c7bb068
......@@ -4,21 +4,21 @@ Bundle-Name: %bundleName
Bundle-SymbolicName: org.sat4j.csp
Bundle-Version: 9.9.9.token
Bundle-ClassPath: lib/cspparserxml.jar
Export-Package: org.sat4j.csp,
org.sat4j.csp.constraints,
org.sat4j.csp.encodings,
org.sat4j.reader
Export-Package: org.sat4j.csp;version="9.9.9.token",
org.sat4j.csp.constraints;version="9.9.9.token",
org.sat4j.csp.encodings;version="9.9.9.token",
org.sat4j.reader;version="9.9.9.token"
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Require-Bundle: org.mozilla.javascript;bundle-version="1.6.2",
org.sat4j.csp.xmlparser;bundle-version="1.0.1"
org.sat4j.csp.xmlparser;bundle-version="9.9.9.token"
Built-By: Daniel Le Berre
Main-Class: org.sat4j.csp.CSPLauncher
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 lib/js.jar lib/cspparserxml.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