Index of /pub/ATP_problems/puzzles/gen.test/


../
README                                             24-Mar-1990 16:47    1718
interns.desc                                       24-Mar-1990 16:47     827
interns.ver1.clauses                               24-Mar-1990 16:47    2334
interns.ver1.in                                    24-Mar-1990 16:47    2401
interns.ver1.out                                   24-Mar-1990 16:47    8364