Index of /pub/ATP_problems/miscellany/wang/


../
README                                             24-Mar-1990 16:46    2087
exq1.desc                                          24-Mar-1990 16:46     937
exq1.ver1.clauses                                  24-Mar-1990 16:46    1153
exq1.ver1.in                                       24-Mar-1990 16:46    1186
exq1.ver1.out                                      24-Mar-1990 16:46    4483
exq1.ver2.clauses                                  24-Mar-1990 16:46    1153
exq1.ver2.in                                       24-Mar-1990 16:46    1275
exq1.ver2.out                                      24-Mar-1990 16:46    4322
exq2.desc                                          24-Mar-1990 16:46     981
exq2.ver1.clauses                                  24-Mar-1990 16:46    1165
exq2.ver1.in                                       24-Mar-1990 16:46    1198
exq2.ver1.out                                      24-Mar-1990 16:46    4340
exq2.ver2.clauses                                  24-Mar-1990 16:46    1165
exq2.ver2.in                                       24-Mar-1990 16:46    1258
exq2.ver2.out                                      24-Mar-1990 16:46     61K
exq3.desc                                          24-Mar-1990 16:46     978
exq3.ver1.clauses                                  24-Mar-1990 16:46    1117
exq3.ver1.in                                       24-Mar-1990 16:46    1151
exq3.ver1.out                                      24-Mar-1990 16:46    4281
exq3.ver2.clauses                                  24-Mar-1990 16:46    1117
exq3.ver2.in                                       24-Mar-1990 16:46    1211
exq3.ver2.out                                      24-Mar-1990 16:46     63K