Index of /~jonkv82/wasp/domains/sat

	Name	Last modified	Size	Description
	Parent Directory		-
	Complex/	2016-09-05 13:02	-
	Numeric/	2016-09-05 13:02	-
	SimpleTime/	2016-09-05 13:02	-
	Strips/	2016-09-05 13:02	-
	Timed/	2016-09-05 13:02	-
	sat.tar.gz	2016-04-01 14:08	204K