Index of /Software/NewAlloy/newalloy-linux

	Name	Last modified	Size	Description
	Parent Directory		-
	USAGE	2012-11-01 12:13	162
	alloy.jar	2012-11-01 12:13	1.8M
	satlab	2012-11-01 12:13	684K
	solvers.cfg	2012-11-01 12:13	2.3K
	ticks.als	2012-11-01 12:13	781