Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Criteria Definition and Evaluation
Bundle-SymbolicName: org.eclipse.viatra2.dse.guided;singleton:=true
Bundle-Version: 0.0.1.qualifier
Bundle-Activator: org.eclipse.viatra2.dse.guided.internal.Activator
Require-Bundle: org.eclipse.viatra2.dse.guided.graph;bundle-version="0.0.1",
 org.eclipse.viatra2.dse.core;bundle-version="1.0.0";visibility:=reexport,
 org.eclipse.viatra2.dse.viatra;bundle-version="1.0.0"
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ClassPath: libs/cplex.jar,
 .,
 libs/Jama-1.0.2.jar,
 libs/javailp-1.2a.jar,
 libs/lpsolve55j.jar
Export-Package: org.eclipse.viatra2.dse.guided.strategy