Index of /pub/ATP_problems/puzzles/space.state/


../
README                                             24-Mar-1990 16:47    1810
chekndom.desc                                      24-Mar-1990 16:47     916
chekndom.ver1.clauses                              24-Mar-1990 16:47    3085
chekndom.ver1.in                                   24-Mar-1990 16:47    3192
chekndom.ver1.out                                  24-Mar-1990 16:47     69K
chekndom.ver2.clauses                              24-Mar-1990 16:47    3198
chekndom.ver2.in                                   24-Mar-1990 16:47    3302
chekndom.ver2.out                                  24-Mar-1990 16:47    4920
mission.desc                                       24-Mar-1990 16:47     904
mission.ver1.clauses                               24-Mar-1990 16:47    3919
mission.ver1.in                                    24-Mar-1990 16:47    4017
mission.ver1.out                                   24-Mar-1990 16:47    5808
mission.ver2.clauses                               24-Mar-1990 16:47    4209
mission.ver2.in                                    24-Mar-1990 16:47    4282
mission.ver2.out                                   24-Mar-1990 16:47    7874