An implementation of the SAS+ planning language in Java, as described in Malte Helmert's paper "A Planning Heuristic Based on Causal Graph Analysis", and the latter "Unifying the Causal Graph and Additive Heuristics" with Hector Geffner.
