Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: VIATRA2 R3 Core
Bundle-SymbolicName: org.eclipse.viatra2.core2;singleton:=true
Bundle-Version: 3.3.0.qualifier
Bundle-ClassPath: .
Bundle-Activator: org.eclipse.viatra2.ViatraPlugin
Bundle-Vendor: BUTE-FTSRG
Export-Package: org.eclipse.viatra2,
 org.eclipse.viatra2.buffers,
 org.eclipse.viatra2.codegen,
 org.eclipse.viatra2.copier,
 org.eclipse.viatra2.core,
 org.eclipse.viatra2.core.constraint,
 org.eclipse.viatra2.core.notification,
 org.eclipse.viatra2.core.simple,
 org.eclipse.viatra2.core.simple.cache,
 org.eclipse.viatra2.core.simple.constraint,
 org.eclipse.viatra2.core.simple.notification,
 org.eclipse.viatra2.core.simple.tempdata,
 org.eclipse.viatra2.core.tracebased,
 org.eclipse.viatra2.core.tracebased.tracetree,
 org.eclipse.viatra2.errors,
 org.eclipse.viatra2.errors.info,
 org.eclipse.viatra2.errors.reporting,
 org.eclipse.viatra2.exports,
 org.eclipse.viatra2.framework,
 org.eclipse.viatra2.framework.properties,
 org.eclipse.viatra2.framework.properties.providers,
 org.eclipse.viatra2.imports,
 org.eclipse.viatra2.interpreters,
 org.eclipse.viatra2.interpreters.debugInterface,
 org.eclipse.viatra2.loaders,
 org.eclipse.viatra2.logger,
 org.eclipse.viatra2.merger,
 org.eclipse.viatra2.modelChecker,
 org.eclipse.viatra2.modelChecker.impl,
 org.eclipse.viatra2.natives,
 org.eclipse.viatra2.tags,
 org.eclipse.viatra2.tags.impl
Require-Bundle: org.eclipse.core.runtime,
 org.eclipse.core.resources
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.6