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
	controlsfx-8.40.14.jar	2021-10-19 08:33	1215 KB
	flowless-0.6.1.jar	2021-10-19 08:33	64 KB
	ikonli-core-2.1.1.jar	2021-10-19 08:33	9 KB
	ikonli-javafx-2.1.1.jar	2021-10-19 08:33	70 KB
	ikonli-material-pack-2.1.1.jar	2021-10-19 08:33	341 KB
	ikonli-typicons-pack-2.1.1.jar	2021-10-19 08:33	265 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-execution-1.0.0.jar	2021-10-19 08:50	19 KB
	obp2-folding-1.0.0.jar	2021-10-19 08:50	6 KB
	obp2-GUI-1.0.0.jar	2021-10-22 12:50	151 KB
	obp2-kernel-1.0.0.jar	2021-10-19 08:50	8 KB
	obp2-remote-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-utils-fx-1.0.0.jar	2021-10-19 08:39	34 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
	reactfx-2.0-M5.jar	2021-10-19 08:33	428 KB
	richtextfx-0.9.0.jar	2021-10-19 08:33	259 KB
	undofx-2.0.0.jar	2021-10-19 08:33	28 KB
	wellbehavedfx-0.3.3.jar	2021-10-19 08:33	60 KB