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 CLASSPATHenvironment variable to include (replacing JSHOP2_DIRECTORY with the directorywhere 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 thesecommands 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.