Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Built-By: Daniel Le Berre
Main-Class: org.sat4j.br4cp.Br4cpBackbonesCLI
Specification-Title: SAT4J
Specification-Version: NA
Specification-Vendor: Daniel Le Berre
Implementation-Title: SAT4J
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.5
