Code from the JAIR 2020 paper "Saturated Cost Partitioning for Optimal Classical Planning" - Seipp, Jendrik (2019)