Aidos is a classical planner for proving unsolvability. - View it on GitHub