1. Environment
(1)System memory$@!'(J32M Words
(2)Number of PE$@!'(J4PE
(3)Disk space$@!'(J5M bytes
(4)OS version$@!'(JSIMPOS 7.2,PIMOS 3.0
(5)Machine$@!'(JPSI-2

2. Installation procedure
2.1 Loading Desq programs
(1) Create the following directory and copy Desq programs to the directory.
$@!!(J>sys>user>desq

2.2 Compiling Desq programs
(1)  Compiling Reasoner and Display unit
$@!!(J(a) Choice the EXECUTE item on Librarian.
$@!!(J(b) Enter the following command.
$@!!(J      fxd("user:desq>esp>cmnd.comp")
(2)  Compiling Translator
$@!!(J(a) Set package of Librarian to "qucomp".
$@!!(J(b) Choose the EXECUTE item on Librarian.
$@!!(J(c) Enter the following command.
        fxd("user:desq>qucomp>cmnd.comp")
(3)  Compiling Constraint Solver$@!J(JKL1$@!K(J
  Enter the following commands on Listener of Multi-PSI.
$@!!(J(a) cd >sys>user>desq.
$@!!(J(b) take("kl1_source>comp_4p.com").
$@!!(J(c) If you execute the step (b) once, from the next time you can compile
     Constraint Solver by typing the following command.
$@!!!!!!(J  take("kl1_source>consort2_4p.com").

2.3 Translation of input data to Desq
(1) Set package of Debugger to "qucomp".
(2) Enter the following command.
    :new(#qucomp,Q),:qucompile(Q,"File_name",L).
        "File_name" is a file name of an input data to Desq.
(3) The translated data file is made in home directory.
        Its file_name is "??.qu".  ?? is the name of the initial state 
       in the input data.
(4) Compile the translated data file.

2.4 Execution
(1) Set package of Debugger to "user".
(2) Prepare Display unit by the following commands.
$@!!!!!!(J:make(#debug,W),:make(#exp_disp,WW).
(3) Execute Reasoner
$@!!!!!!(J:create(#create_esp_main).
(4) Execute Constraint Solver$@!J(JKL1$@!K(J
    Type the following command on Listener of Multi-PSI.
$@!!!!!!(Jstart(_).$@!!(Jor,$@!!(Jkl1_start:start(_).
