Index of /~TDDC17/info/labs/lab6/nomystery

	Name	Last modified	Size	Description
	Parent Directory		-
	domain.pddl	2017-09-04 10:35	1.2K
	p02.pddl	2017-09-04 10:35	153K
	p03.pddl	2017-09-04 10:35	500K