Index of /~TDDD48/labs/2018/domains/sat

	Name	Last modified	Size	Description
	Parent Directory		-
	Complex/	2018-03-15 13:09	-
	Numeric/	2018-03-15 13:09	-
	SimpleTime/	2018-03-15 13:09	-
	Strips/	2018-03-15 13:09	-
	Timed/	2018-03-15 13:09	-
	sat.tar.gz	2017-03-21 15:44	204K