« tutorials :: Contents :: stripstream.pddl package »
This package contains the source for stripstream.