| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: VIATRA2 R3 Core (Incubation) |
| 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 |