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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	1993-07-29 19:24	4.9K
	tableau.ps	1993-07-29 19:23	224K