Index of /home/victor/minisat

	Name	Last modified	Size	Description
	Parent Directory		-
	LICENSE	05-Oct-2006 14:13	1.1K
	README	10-Nov-2006 13:54	400
	core/	08-Dec-2006 11:42	-
	mtl/	08-Dec-2006 11:41	-
	simp/	20-Jul-2007 15:07	-
	spkg-install	02-Apr-2009 16:30	239