Contains STRIPS and SAS+ problem representations and forward search planners.
Also, contains the Hybrid Backward-Forward (HBF) algorithm applied to discrete problems. http://web.mit.edu/caelan/www/research/hbf/