whiteshirt0429 / jshop2 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mas-group/jshop2
This project forked from mas-group/jshop2
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.