Index of /rpa-output/logic

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      smullyan/               1994-09-06 10:48    -   
      weighing/               1994-09-06 10:48    -   
      camel.s                 1994-09-06 10:48   64   
      flip.p                  1994-09-06 10:48   89   
      dell.p                  1994-09-06 10:48   96   
      hofstadter.p            1994-09-06 10:48  106   
      friends.p               1994-09-06 10:48  114   
      flowers.s               1994-09-06 10:48  120   
      elimination.s           1994-09-06 10:48  131   
      self.ref.p              1994-09-06 10:48  146   
      inverter.p              1994-09-06 10:48  157   
      chain.p                 1994-09-06 10:48  158   
      flowers.p               1994-09-06 10:48  164   
      ropes.p                 1994-09-06 10:48  172   
      timezone.s              1994-09-06 10:48  174   
      condoms.p               1994-09-06 10:48  176   
      min.max.p               1994-09-06 10:48  183   
      chain.s                 1994-09-06 10:48  184   
      locks.and.boxes.s       1994-09-06 10:48  193   
      29.s                    1994-09-06 10:48  219   
      hundred.p               1994-09-06 10:48  247   
      mixing.s                1994-09-06 10:48  256   
      mixing.p                1994-09-06 10:48  272   
      timezone.p              1994-09-06 10:48  280   
      boxes.p                 1994-09-06 10:48  315   
      bookworm.p              1994-09-06 10:48  327   
      river.crossing.s        1994-09-06 10:48  331   
      river.crossing.p        1994-09-06 10:48  352   
      friends.s               1994-09-06 10:48  361   
      camel.p                 1994-09-06 10:48  373   
      locks.and.boxes.p       1994-09-06 10:48  437   
      elimination.p           1994-09-06 10:48  441   
      29.p                    1994-09-06 10:48  486   
      condoms.s               1994-09-06 10:48  487   
      min.max.s               1994-09-06 10:48  488   
      unexpected.p            1994-09-06 10:48  490   
      monty.52.p              1994-09-06 10:48  563   
      ropes.s                 1994-09-06 10:48  563   
      bookworm.s              1994-09-06 10:48  612   
      centrifuge.p            1994-09-06 10:48  655   
      ages.p                  1994-09-06 10:48  734   
      number.p                1994-09-06 10:48  741   
      ages.s                  1994-09-06 10:48  806   
      attribute.s             1994-09-06 10:48  811   
      verger.p                1994-09-06 10:48  871   
      supertasks.p            1994-09-06 10:48  882   
      children.p              1994-09-06 10:48  918   
      attribute.p             1994-09-06 10:48  951   
      same.street.p           1994-09-06 10:48  1.1K  
      centrifuge.s            1994-09-06 10:48  1.1K  
      inverter.s              1994-09-06 10:48  1.3K  
      verger.s                1994-09-06 10:48  1.3K  
      self.ref.s              1994-09-06 10:48  1.6K  
      children.s              1994-09-06 10:48  1.8K  
      zoo.p                   1994-09-06 10:48  1.9K  
      same.street.s           1994-09-06 10:48  1.9K  
      josephine.p             1994-09-06 10:48  2.0K  
      boxes.s                 1994-09-06 10:48  2.0K  
      hofstadter.s            1994-09-06 10:48  2.0K  
      number.s                1994-09-06 10:48  3.2K  
      flip.s                  1994-09-06 10:48  3.2K  
      josephine.s             1994-09-06 10:48  3.6K  
      hundred.s               1994-09-06 10:48  3.6K  
      dell.s                  1994-09-06 10:48  4.9K  
      zoo.s                   1994-09-06 10:48  5.2K  
      riddle.p                1994-09-06 10:48  6.6K  
      supertasks.s            1994-09-06 10:48  7.1K  
      unexpected.s            1994-09-06 10:48  7.2K  
      riddle.s                1994-09-06 10:48  7.3K  
      monty.52.s              1994-09-06 10:48  7.8K  
      situation.puzzles.p     1994-09-06 10:48   20K  
      situation.puzzles.s     1994-09-06 10:48   56K