BJOLP : The Big Joint Optimal Landmarks Planner
On the Extraction, Ordering, and Usage of Landmarks in Planning