TLPLan

1. Download tlplan.tar.Z and uncompress it.
   • You can uncompress it by doing:

     % uncompress tlplan.tar.Z
     

     which will leave tlplan.tar.

   • Then you can "untar" it by doing:

     % tar xvf tlplan.tar
     

     This will create a tlplan directory and associated subdirectories.

2. Notice that tlplan is distributed as an executable, along with a series of domain directories. There is one important file - domains.tlp - which you should run with tlplan (the executable). This will generate a tlplan.log file in the same directory. So, try:

   % ./tlplan domains.tlp
   

3. Please contact Greg Barish (barish@isi.edu) if you need the source files to TLPlan.

4. For more information, see the TLPLan home page .