Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRA013+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	goal_to_be_proved.p	2024-10-04 18:27	114
	green_clique.p	2024-10-04 18:27	178
	less_than_transitive.p	2024-10-04 18:27	191
	ordering.p	2024-10-04 18:27	171
	partition.p	2024-10-04 18:27	162
	red_clique.p	2024-10-04 18:27	170