An implementation of the star A algorithm