Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai

	Name	Last modified	Size
	Parent Directory
	announce4j-1.0.jar	2021-10-18 13:00	6 KB
	antlr4-4.5.3.jar	2021-10-18 13:00	1485 KB
	args4j-2.33.jar	2021-10-19 08:33	155 KB
	BuchiAutomata-1.0.0.jar	2021-10-19 09:06	72 KB
	commons-lang3-3.8.1.jar	2021-10-18 13:00	501 KB
	jackson-annotations-2.12.0-rc2.jar	2021-10-19 08:56	75 KB
	jackson-core-2.12.0-rc2.jar	2021-10-19 08:56	365 KB
	jackson-databind-2.12.0-rc2.jar	2021-10-19 08:56	1511 KB
	LPropositionalLogic-1.0.0.jar	2021-10-19 09:06	115 KB
	LTL-1.0.0.jar	2021-10-19 09:06	84 KB
	LTL3BA-1.0.0.jar	2021-10-19 09:06	1027 KB
	obp2-algorithms-1.0.0.jar	2021-10-19 08:50	76 KB
	obp2-CLI-1.0.0.jar	2021-10-22 12:47	11 KB
	obp2-execution-1.0.0.jar	2021-10-19 08:50	19 KB
	obp2-kernel-1.0.0.jar	2021-10-19 08:50	8 KB
	obp2-remote-CLI-1.0.0.jar	2021-10-22 12:47	2 KB
	obp2-remote-headless-1.0.0.jar	2021-10-19 14:39	0 KB
	obp2-runtime-1.0.0.jar	2021-10-19 08:50	23 KB
	obp2-runtime-buchi-1.0.0.jar	2021-10-19 09:07	8 KB
	obp2-runtime-buchikripke-1.0.0.jar	2021-10-22 12:48	20 KB
	obp2-runtime-remote-1.0.0.jar	2021-10-19 09:20	17 KB
	obp2-visualisation-1.0.0.jar	2021-10-19 08:50	13 KB
	org.eclipse.emf.common-2.11.0-v20150123-0347.jar	2021-10-19 08:46	353 KB
	org.eclipse.emf.ecore-2.11.0-v20150123-0347.jar	2021-10-19 08:46	1189 KB
	org.eclipse.emf.ecore.xmi-2.11.0-v20150123-0347.jar	2021-10-19 08:46	229 KB
	plug-utils-0.0.8.jar	2021-04-13 07:56	37 KB