#This configuration file was written by: org.eclipse.equinox.internal.frameworkadmin.equinox.EquinoxFwConfigFileParser
#Thu Sep 18 08:35:47 UTC 2025
eclipse.application=fr.lip6.move.gal.itscl.application
eclipse.p2.data.area=@config.dir/../p2
eclipse.p2.profile=DefaultProfile
eclipse.product=fr.lip6.move.gal.itscl.product
osgi.bundlefile.limit=0
osgi.bundles=reference\:file\:com.google.guava_33.4.0.jre.jar@4,reference\:file\:com.google.guava.failureaccess_1.0.2.jar@4,reference\:file\:com.google.inject_7.0.0.jar@4,reference\:file\:fr.lip6.ltl.jhoaf_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.ltl.spot.binaries_1.0.0.202509180830/@4,reference\:file\:fr.lip6.ltl.tgba_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.mist_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.ahg_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.ahg.togal_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.application.pnmcc_1.0.0.202509180830.jar@1\:start,reference\:file\:fr.lip6.move.gal.cegar_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.gal2pins_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.gal2smt_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.itscl.application_1.0.0.202509180830.jar@2,reference\:file\:fr.lip6.move.gal.itstools.binaries_1.0.0.202509180830/@4,reference\:file\:fr.lip6.move.gal.logic_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.logic.saxparse_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.louvain_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.louvain.binaries_1.0.0.202509180830/@4,reference\:file\:fr.lip6.move.gal.ltsmin.binaries_1.0.0.202509180830/@4,reference\:file\:fr.lip6.move.gal.nupn_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.pn2pins_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.pnml.saxparse_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.pnml.togal_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.process_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.struct2gal_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.move.gal.structural_1.0.0.202509180830.jar@4,reference\:file\:fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar@4,reference\:file\:fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar@4,reference\:file\:fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar@4,reference\:file\:fr.lip6.smt.z3.binaries_1.0.0.202509180830/@4,reference\:file\:jakarta.inject.jakarta.inject-api_2.0.1.jar@4,reference\:file\:java.picocli_1.0.0.202509180830.jar@4,reference\:file\:javax.activation_1.2.2.v20221203-1659.jar@4,reference\:file\:lip6.smtlib.SMT_1.0.0.202509180830.jar@4,reference\:file\:org.antlr.antlr4-runtime_4.13.2.jar@4,reference\:file\:org.antlr.runtime_3.2.0.v20230929-1400.jar@4,reference\:file\:org.aopalliance_1.0.0.v20230720-0728.jar@4,reference\:file\:org.apache.commons.logging_1.2.0.jar@4,reference\:file\:org.apache.james.apache-mime4j-core_0.8.7.jar@4,reference\:file\:org.apache.log4j_1.2.26.jar@4,reference\:file\:org.apache.ws.commons.axiom.axiom-api_1.3.0.jar@4,reference\:file\:org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar@4,reference\:file\:org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar@4,reference\:file\:org.eclipse.core.contenttype_3.9.600.v20241001-1711.jar@4,reference\:file\:org.eclipse.core.jobs_3.15.500.v20250204-0817.jar@4,reference\:file\:org.eclipse.core.runtime_3.33.0.v20250206-0919.jar@4\:start,reference\:file\:org.eclipse.emf.common_2.41.0.v20241204-1554.jar@4,reference\:file\:org.eclipse.emf.ecore_2.38.0.v20241018-1213.jar@4,reference\:file\:org.eclipse.emf.ecore.xmi_2.38.0.v20240721-0634.jar@4,reference\:file\:org.eclipse.equinox.app_1.7.300.v20250130-0528.jar@4,reference\:file\:org.eclipse.equinox.common_3.20.0.v20250129-1348.jar@4,reference\:file\:org.eclipse.equinox.launcher_1.6.1000.v20250227-1734.jar@4,reference\:file\:org.eclipse.equinox.launcher.win32.win32.x86_64_1.2.1200.v20250212-0927/@4,reference\:file\:org.eclipse.equinox.preferences_3.11.300.v20250130-0533.jar@4,reference\:file\:org.eclipse.equinox.registry_3.12.300.v20250129-1129.jar@4,reference\:file\:org.eclipse.xtend.lib_2.38.0.v20250226-0658.jar@4,reference\:file\:org.eclipse.xtend.lib.macro_2.38.0.v20250226-0658.jar@4,reference\:file\:org.eclipse.xtext_2.38.0.v20250226-0658.jar@4,reference\:file\:org.eclipse.xtext.util_2.38.0.v20250226-0658.jar@4,reference\:file\:org.eclipse.xtext.xbase.lib_2.38.0.v20250226-0658.jar@4,reference\:file\:org.logicng_1.0.0.202509180830.jar@4,reference\:file\:org.osgi.service.prefs_1.1.2.202109301733.jar@4,reference\:file\:wrapped.com.thaiopensource.jing_20091111.0.0.jar@4
osgi.bundles.defaultStartLevel=4
osgi.framework=file\:plugins/org.eclipse.osgi_3.23.0.v20250228-0640.jar
osgi.framework.extensions=
