Index of /pub/ATP_problems/puzzles/carroll/


../
README                                             24-Mar-1990 16:47    2077
animals.desc                                       24-Mar-1990 16:47    1067
animals.ver1.clauses                               24-Mar-1990 16:47    1697
animals.ver1.in                                    24-Mar-1990 16:47    1834
animals.ver1.out                                   24-Mar-1990 16:47    3296
boys.desc                                          24-Mar-1990 16:47    3194
boys.ver1.clauses                                  24-Mar-1990 16:47    4513
boys.ver1.in                                       24-Mar-1990 16:47    4598
boys.ver1.out                                      24-Mar-1990 16:47     22K
ggson.desc                                         24-Mar-1990 16:47    1177
ggson.ver1.clauses                                 24-Mar-1990 16:47    1849
ggson.ver1.in                                      24-Mar-1990 16:47    1954
ggson.ver1.out                                     24-Mar-1990 16:47     15K
letters.desc                                       24-Mar-1990 16:47    1221
letters.ver1.clauses                               24-Mar-1990 16:47    1293
letters.ver1.in                                    24-Mar-1990 16:47    1360
letters.ver1.out                                   24-Mar-1990 16:47    6916
lizard.desc                                        24-Mar-1990 16:47    1045
lizard.ver1.clauses                                24-Mar-1990 16:47    1477
lizard.ver1.in                                     24-Mar-1990 16:47    1544
lizard.ver1.out                                    24-Mar-1990 16:47     26K
pigs.desc                                          24-Mar-1990 16:47    1213
pigs.ver1.clauses                                  24-Mar-1990 16:47    1769
pigs.ver1.in                                       24-Mar-1990 16:47    1819
pigs.ver1.out                                      24-Mar-1990 16:47    4135
winds.desc                                         24-Mar-1990 16:47    1319
winds.ver1.clauses                                 24-Mar-1990 16:47    1674
winds.ver1.in                                      24-Mar-1990 16:47    1743
winds.ver1.out                                     24-Mar-1990 16:47    3631