How to install and run TL-SHOP:

Make sure that Java is installed fully on your computer.

After unzipping the TL-SHOP zipped file in any directory, set the CLASSPATH
environment variable by executing the following command from the directory 
where TL-SHOP is installed:

	source classpath.sh

Or, on Windows, just run from the directory where TL-SHOP is installed:

	make p

Or, add the following to your CLASSPATH environment variable via other means 
(replacing TL-SHOP_DIRECTORY with the directory where TL-SHOP is unzipped):

- in Windows:
  TL-SHOP_DIRECTORY\bin\antlr.jar;JSHOP2_DIRECTORY\bin\JSHOP2.jar;.

- in UNIX:
  TL-SHOP_DIRECTORY/bin/antlr.jar:JSHOP2_DIRECTORY/bin/JSHOP2.jar:.

This is the environment variable Java uses to looks for Java ARchive (jar)
files used by TL-SHOP.

After making sure the CLASSPATH variable is correctly set, any of these
commands can be used at the command line:

- make
  or
  make c : To compile the TL-SHOP source files and make the needed .jar files.
           This has to be done before TL-SHOP can be run.

- make d : To make the HTML TL-SHOP package documentation out of the source
           files.

- make 1 : To run the first example, the blocks world domain.

- make 2 : To run the second example, the basic domain.

- make 3 : To run the third example, the old implementation of the blocks
           world.

- make 4 : To run the fourth example, the test domain.

- make 5 : To run the fifth example, the logistics domain.

- make 6 : To run the sixth example, the freecell domain.

- make 7 : To run the seventh example, the propagation domain.

- make 8 : To run the eighth example, the forallexample domain.

- make 9 : To run the ninth example, the rover domain.

- make 10: To run the tenth example, a very small blocks world problem where
           all plans, rather than just the first one found, are to be returned.
- make 11: To run the first LTL example, basicltl.

- make 12: To run the second LTL example, dishoneststudent.
-----------------------------------------------------------------
The important files and directories in this release of JSHOP2:

./make.bat : The make file for windows.
./Makefile : The make file for Unix.
./README   : This file.
./JSHOP2.pdf : The JSHOP2 user's manual.
./src/JSHOP2 : The source code of the TL-SHOP package.
./bin        : The directory where the compiled jar files are stored.
./doc/index.html : The HTML package documentation of TL-SHOP.
./examples/blocks : The blocks world domain featuring list manipulation in
                    JSHOP2, use of axioms, and on-the-fly creation of the
                    logical atoms at run time.
./examples/basic : A very simple domain, ideal to see how it all works and for
                   debugging purposes.
./examples/oldblocks : An older implementation of the blocks world domain,
                       featuring on-the-fly creation of operator delete and add
                       lists at run time.
./examples/test : A synthesized domain featuring various more complex features
                  of JSHOP2 including code calls, disjunctions, if-then-else
                  structure of the method and axiom branches, :sort-by and
                  :first logical preconditions, etc. Have fun deciphering it.
./examples/logistics : The logistics domain featuring protections, unordered
                       task lists, immediate tasks, and on-the-fly creation of
                       the predicates at run time.
./examples/freecell : The freecell domain featuring unordered task lists,
                      immediate tasks, code calls, and use of ForAll in
                      delete/add list of operators.
./examples/propagation : A very simple domain showing how variable bindings
                         propagate only down in the task network.
./examples/forall : A very simple domain that uses forall constructs.
./examples/rover : Our implementation of the Rovers domain, used in the Third
                   International Planning Competition.
./examples/basicltl: A modification of the basic domain to show off the use of
                     LTL formulas for plan pruning.
./examples/dishoneststudent: A domain that describes how to graduate. LTL rules
                             can be used in a number of ways to prune plans 
                             involving dishonesty.