Index of /pub/ATP_problems/puzzles/truth.lies/


../
README                                             24-Mar-1990 16:47    2408
knightknave.clauses                                24-Mar-1990 16:47    1266
knightknave.desc                                   24-Mar-1990 16:47     422
knightknave.in                                     24-Mar-1990 16:47    1426
knightknave.out                                    24-Mar-1990 16:47    7595
mars_venus.clauses                                 24-Mar-1990 16:47    1568
mars_venus.desc                                    24-Mar-1990 16:47     723
mars_venus.in                                      24-Mar-1990 16:47    1733
mars_venus.out                                     24-Mar-1990 16:47    9796
mars_venus2.clauses                                24-Mar-1990 16:47    1652
mars_venus2.desc                                   24-Mar-1990 16:47     687
mars_venus2.in                                     24-Mar-1990 16:47    1817
mars_venus2.out                                    24-Mar-1990 16:47     16K
oona.clauses                                       24-Mar-1990 16:47    1161
oona.desc                                          24-Mar-1990 16:47     933
oona.in                                            24-Mar-1990 16:47    1246
oona.out                                           24-Mar-1990 16:47    5919
tandl.desc                                         24-Mar-1990 16:47     870
tandl.ver1.clauses                                 24-Mar-1990 16:47    1294
tandl.ver1.in                                      24-Mar-1990 16:47    1364
tandl.ver1.out                                     24-Mar-1990 16:47    4297
tandl27.desc                                       24-Mar-1990 16:47    1033
tandl27.ver1.clauses                               24-Mar-1990 16:47    1600
tandl27.ver1.in                                    24-Mar-1990 16:47    1694
tandl27.ver1.out                                   24-Mar-1990 16:47    8496
tandl31.desc                                       24-Mar-1990 16:47     832
tandl31.ver1.clauses                               24-Mar-1990 16:47    2781
tandl31.ver1.in                                    24-Mar-1990 16:47    2849
tandl31.ver1.out                                   24-Mar-1990 16:47    6984
tandl35.desc                                       24-Mar-1990 16:47     854
tandl35.ver1.clauses                               24-Mar-1990 16:47    2439
tandl35.ver1.in                                    24-Mar-1990 16:47    2533
tandl35.ver1.out                                   24-Mar-1990 16:47     20K
tandl39.desc                                       24-Mar-1990 16:47     850
tandl39.ver1.clauses                               24-Mar-1990 16:47    2570
tandl39.ver1.in                                    24-Mar-1990 16:47    2636
tandl39.ver1.out                                   24-Mar-1990 16:47     12K
tandl42.desc                                       24-Mar-1990 16:47     882
tandl42.ver1.clauses                               24-Mar-1990 16:47    2525
tandl42.ver1.in                                    24-Mar-1990 16:47    2615
tandl42.ver1.out                                   24-Mar-1990 16:47     22K