Index of /~tac/StarSAT/Sources4610712832

	Name	Last modified	Size	Description
	Parent Directory		-
	K-CNF-generator.tar.gz	12-Dec-2007 15:13	14K
	LICENSE	12-Dec-2007 15:13	15K
	StarSAT-1.0.tar.gz	12-Dec-2007 15:13	79K
	StarSAT-1.1.tar.gz	12-Dec-2007 15:13	78K
	StarSAT-1.2.1.tar.gz	12-Dec-2007 15:13	311K
	StarSAT-1.2.2.tar.gz	12-Dec-2007 15:13	311K
	StarSAT-1.2.3.tar.gz	12-Dec-2007 15:13	311K
	StarSAT-1.2.tar.gz	12-Dec-2007 15:13	311K
	StarSAT-1.3.tar.gz	12-Dec-2007 15:13	507K