Index of /archive/pub/challenge/satisfiability/contributed/pretolani

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1993-08-22 14:24	2.5K
	pretolani.tar	1993-08-22 14:23	96K