
These are the files that should come with this distribution:
 README                  register.lisp           strips.tex
 blocksworld.lisp        schedule.lisp           unify.lisp
 hanoi.lisp              strips.lisp             util.lisp
 load-strips.lisp        strips.tar

For documentation on STRIPS, see strips.tex.  (Ask your local Unix guru
to help you print it if you don't know what LaTeX is.)  All the details
on how to use the code are there.

There are several example files here that aren't mentioned in
strips.tex.  loadstrips.lisp is just a quick way to load up the three
strips source files, and an example.  The other files here are the
examples: register.lisp for the register swapping problem;
blocksworld.lisp for some blocks world problems; hanoi.lisp for the
towers of hanoi, and finally schedule.lisp so you can test our
rudimentary scheduling extensions to strips.

Note that strips is not guaranteed to solve any of these problems.
Strips is pretty dumb.

Please report bugs/fixes to: 

	idm-users@chelmsford.gfsc.nasa.gov

