How to install and run JSHOP2: Make sure that Java is installed fully on your computer. After unzipping the JSHOP2 zipped file in any directory, set the CLASSPATH environment variable to include (replacing JSHOP2_DIRECTORY with the directory where JSHOP2 is unzipped): - in Windows: JSHOP2_DIRECTORY\bin\antlr.jar;JSHOP2_DIRECTORY\bin\JSHOP2.jar;. - in UNIX: JSHOP2_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 JSHOP2. 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 JSHOP2 source files and make the needed .jar files. This has to be done before JSHOP2 can be run. - make d : To make the HTML JSHOP2 package documentation out of the source files. - make 1 : To run the first example, the blocks world domain. WARNING: This is a very big problem, so it will take a long time to solve the problem and display the results. - 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. WARNING: This is a very big problem, so it will take a long time to solve the problem and display the results. - 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 eleventh example, the MadRTS domain. ----------------------------------------------------------------- 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 JSHOP2 package. ./bin : The directory where the compiled jar files are stored. ./doc/index.html : The HTML package documentation of JSHOP2. ./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/madrts : A very simple version of the MadRTS game.
