Index of /pub/ATP_problems/algebra/boolean

	Name	Last modified	Size	Description
	Parent Directory		-
	prob_10.ver2.out	1990-03-24 10:48	2.0K
	prob_10.ver2.in	1990-03-24 10:48	1.3K
	prob_10.ver2.clauses	1990-03-24 10:48	1.1K
	prob_10.ver1.out	1990-03-24 10:48	3.0K
	prob_10.ver1.in	1990-03-24 10:48	2.5K
	prob_10.ver1.clauses	1990-03-24 10:48	2.2K
	prob_10.desc	1990-03-24 10:48	721
	prob9.ver2.out	1990-03-24 10:48	1.5K
	prob9.ver2.in	1990-03-24 10:48	1.3K
	prob9.ver2.clauses	1990-03-24 10:48	1.1K
	prob9.ver1.out	1990-03-24 10:48	2.5K
	prob9.ver1.in	1990-03-24 10:48	2.5K
	prob9.ver1.clauses	1990-03-24 10:48	2.4K
	prob9.desc	1990-03-24 10:48	727
	prob8.ver2.out	1990-03-24 10:48	2.8K
	prob8.ver2.in	1990-03-24 10:48	1.7K
	prob8.ver2.clauses	1990-03-24 10:48	1.1K
	prob8.ver1.out	1990-03-24 10:48	2.6K
	prob8.ver1.in	1990-03-24 10:48	2.5K
	prob8.ver1.clauses	1990-03-24 10:48	2.3K
	prob8.desc	1990-03-24 10:48	722
	prob7.ver2.out	1990-03-24 10:48	2.7K
	prob7.ver2.in	1990-03-24 10:48	1.6K
	prob7.ver2.clauses	1990-03-24 10:48	1.4K
	prob7.ver1.out	1990-03-24 10:48	3.2K
	prob7.ver1.in	1990-03-24 10:48	2.4K
	prob7.ver1.clauses	1990-03-24 10:48	2.3K
	prob7.desc	1990-03-24 10:48	737
	prob4_part2.ver2.out	1990-03-24 10:48	3.4K
	prob4_part2.ver2.in	1990-03-24 10:48	1.7K
	prob4_part2.ver2.clauses	1990-03-24 10:48	1.4K
	prob4_part2.ver1.out	1990-03-24 10:48	2.5K
	prob4_part2.ver1.in	1990-03-24 10:48	2.4K
	prob4_part2.ver1.clauses	1990-03-24 10:48	2.3K
	prob4_part1.ver2.out	1990-03-24 10:48	3.1K
	prob4_part1.ver2.in	1990-03-24 10:48	1.7K
	prob4_part1.ver2.clauses	1990-03-24 10:48	1.4K
	prob4_part1.ver1.out	1990-03-24 10:48	2.4K
	prob4_part1.ver1.in	1990-03-24 10:48	2.4K
	prob4_part1.ver1.clauses	1990-03-24 10:48	2.3K
	prob4.desc	1990-03-24 10:48	1.2K
	prob3_part2.ver2.out	1990-03-24 10:48	2.8K
	prob3_part2.ver2.in	1990-03-24 10:48	1.6K
	prob3_part2.ver2.clauses	1990-03-24 10:48	1.4K
	prob3_part2.ver1.out	1990-03-24 10:48	2.5K
	prob3_part2.ver1.in	1990-03-24 10:48	2.5K
	prob3_part2.ver1.clauses	1990-03-24 10:48	2.3K
	prob3_part1.ver2.out	1990-03-24 10:48	3.1K
	prob3_part1.ver2.in	1990-03-24 10:48	1.6K
	prob3_part1.ver2.clauses	1990-03-24 10:48	1.4K
	prob3_part1.ver1.out	1990-03-24 10:48	2.5K
	prob3_part1.ver1.in	1990-03-24 10:48	2.5K
	prob3_part1.ver1.clauses	1990-03-24 10:48	2.3K
	prob3.desc	1990-03-24 10:48	1.2K
	prob2_part2.ver2.out	1990-03-24 10:48	3.4K
	prob2_part2.ver2.in	1990-03-24 10:48	1.7K
	prob2_part2.ver2.clauses	1990-03-24 10:48	1.0K
	prob2_part2.ver1.out	1990-03-24 10:48	3.6K
	prob2_part2.ver1.in	1990-03-24 10:48	2.5K
	prob2_part2.ver1.clauses	1990-03-24 10:48	2.4K
	prob2_part1.ver2.out	1990-03-24 10:48	2.8K
	prob2_part1.ver2.in	1990-03-24 10:48	1.8K
	prob2_part1.ver2.clauses	1990-03-24 10:48	1.0K
	prob2_part1.ver1.out	1990-03-24 10:48	3.7K
	prob2_part1.ver1.in	1990-03-24 10:48	2.5K
	prob2_part1.ver1.clauses	1990-03-24 10:48	2.3K
	prob2.desc	1990-03-24 10:48	1.3K
	prob1.ver2.out	1990-03-24 10:48	2.0K
	prob1.ver2.in	1990-03-24 10:48	1.9K
	prob1.ver2.clauses	1990-03-24 10:48	1.2K
	prob1.ver1.out	1990-03-24 10:48	2.5K
	prob1.ver1.in	1990-03-24 10:48	2.5K
	prob1.ver1.clauses	1990-03-24 10:48	2.5K
	prob1.desc	1990-03-24 10:48	787
	README	1990-03-24 10:48	2.2K