Index of /~marche/termination-competition/2007/aprove/minisat/simp

	Name	Last modified	Size	Description
	Parent Directory		-
	Main.C	03-Jun-2007 22:28	14K
	Makefile	03-Jun-2007 22:28	301
	SimpSolver.C	03-Jun-2007 22:28	20K
	SimpSolver.h	03-Jun-2007 22:28	6.1K