## -*- PARCAR/KP Parallel Abductive Reasoning System on KLIC+PVM -*- ##
## Copyright (C) 1997  ƣʿ ̾Ųǽ󥷥ƥز   ##

ǥ쥯ȥ깽:
.:
----- Size - File Name ---- Contents ------------------------
      3096   Readme-J       Υե
      3567   Readme-E       Υե(Ѹ)
      1304   specification  եȥͽ
      4067   Manual-J       桼ޥ˥奢
      3157   Manual-E       桼ޥ˥奢(Ѹ)
      1234   Makefile       󥹥ȡѥᥤե
       500   userdef.h      桼ե
-------------------------------------------------------------

examples:
----- Size - File Name ---- Contents ------------------------
            Format          μ١Format
      2039  ex_1             1-bit ûϩξ
      3005  ex_2             2-bit ûϩξ
      3971  ex_3             3-bit ûϩξ
      5903  ex_5             5-bit ûϩξ
      8801  ex_8             8-bit ûϩξ
     10777  ex_10           10-bit ûϩξ
     11786  ex_11           11-bit ûϩξ
     12796  ex_12           12-bit ûϩξ
     13804  ex_13           13-bit ûϩξ
     14813  ex_14           14-bit ûϩξ
     15822  ex_15           15-bit ûϩξ
     16831  ex_16           16-bit ûϩξ
     17840  ex_17           17-bit ûϩξ
     18849  ex_18           18-bit ûϩξ
     19858  ex_19           19-bit ûϩξ
     20867  ex_20           20-bit ûϩξ
-------------------------------------------------------------

master:
----- Size - File Name ---- Contents ------------------------
      1472  Makefile.aimk   Masterץåѥᥤե
      3313  ans_ck.c        Master¦ѥåȽ
      2678  buf.c           Master¦̿Хåե
      3330  multibuf.c      ѥåȹ
      3717  output.c        Ͻ
      9689  parcar.c        PARCAR/KPȥåץ٥
      2326  parcar.h        PARCAR/KPإåե
       617  parcarhosts     ưץå
-------------------------------------------------------------

slave:
----- Size - File Name ---- Contents ------------------------
      2141  Makefile.aimk   Slaveץåѥᥤե
      5926  convert.kl1     äȤ
      6904  encode.kl1      Slave¦̿ѥǡѴ<1>
      4361  lib.kl1         Slave¦̿ѥǡѴ<2>
      1990  loadave.kl1     ץåٿ
      1452  main.kl1        Slave¦ȥåץ٥
      7037  pvm.kl1         ֥å
      6530  refutation.kl1  SLDȿ
     15104  slave.kl1       Slave¦ᥤץ
      1666  term_buf.c      ̿Хåե
       298  term_buf.h      Ʊإåե
      2251  time.kl1        ʬߥ
      8419  variable.kl1    Slave¦̿ѥǡѴ
-------------------------------------------------------------
