Index of /~avg/ProofChecker

	Name	Last modified	Size	Description
	Parent Directory		-
	BUG.LIST	01-May-2007 15:55	724
	ExpandTrace.tar	13-May-2007 01:06	180K
	ExpandTrace/	13-May-2007 00:57	-
	FMCADattach.tgz	10-May-2007 20:40	58M
	MiniSat2ccmin.tar	02-Mar-2009 00:46	30K
	MiniSat2patch.tar	02-Feb-2009 01:22	210K
	OldStuff/	30-Apr-2007 22:21	-
	ProofChecker-fileformat.txt	09-Jan-2005 23:53	15K
	README	01-May-2007 15:57	1.6K
	README-sat-2009.txt	31-Jan-2009 16:27	4.1K
	RUPkit-2007.tar.gz	23-Apr-2007 01:22	3.1M
	RUPkit.tar	07-Jan-2009 00:19	11M
	RUPkit/	09-Jan-2009 07:35	-
	ccmin-trans.pdf	26-Jun-2009 18:47	606K
	cert-poster-latex.tar	25-May-2007 17:42	830K
	cert-poster-sat07.pdf	25-May-2007 00:55	40K
	cert-poster.pdf	25-May-2007 00:55	40K
	fileformat_rup-2007.txt	20-Apr-2007 02:43	9.1K
	fileformat_rup.txt	31-Jan-2009 15:41	8.3K
	minisat-comparison.pdf	01-Mar-2009 23:56	78K
	ph17.cnf	12-May-2007 14:01	29K
	ph18.cnf	12-May-2007 14:01	34K
	proofs-isaim08-long.pdf	29-Sep-2007 17:40	360K
	proofs-isaim08-trans.pdf	28-Dec-2007 02:07	156K
	proofs-progress.pdf	07-Mar-2007 00:28	342K
	proofs-progress.ps	07-Mar-2007 00:28	246K
	proofs-sat07-trans.pdf	20-May-2007 23:28	69K
	rupToRes_32_O3	04-May-2007 03:59	1.2M
	wkshop-trans.pdf	01-Mar-2008 01:24	156K
	wkshop-trans.ps	01-Mar-2008 01:24	207K