Sym-k is a state-of-the-art top-k planner. - View it on GitHub