Index of /~adolfo/TableauProver/TPExe/bin

	Name	Last modified	Size	Description
	Parent Directory		-
	clean.sh	2004-11-01 08:02	21
	TPA.sh	2004-11-01 08:02	22
	TPTests.sh	2004-11-01 08:02	42
	TP.sh	2004-11-01 08:02	73
	satcnf.parcial.sh	2004-11-01 08:02	80
	createXMLforWagner.sh	2004-11-01 08:02	89
	createXMLforSATLIB.sh	2004-11-01 08:02	127
	order.sh	2004-12-14 12:05	134
	examples	2004-11-01 08:02	163
	satcnf.sh	2004-11-01 08:02	380
	satcnf2.sh	2004-12-15 14:08	391
	SATs2.sh	2004-11-01 08:02	393
	SATs3.sh	2004-11-11 16:03	393
	SATs4.sh	2004-12-14 11:58	393
	SATS.sh	2004-11-30 11:51	417
	SATH.sh	2004-11-30 11:49	418
	SATH2.sh	2004-12-15 12:58	423
	cwSAT.sh	2004-11-01 08:02	513
	build.sh	2004-11-11 16:19	751