SHOP

That probably is not the Right Thing, because the PDDL tests are probably not of major interest to anyone. I will try to supply an RRT tarball for you to use in the interim. Meanwhile, we have replaced the RRT dependency with a more solid unit test library, and will make that available when we put up the next SHOP2 version.

Best,
Robert