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/