Code from the PhD thesis "Counterexample-guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning" - Seipp, Jendrik (2018)