CEGAR Split Lab Contains scripts for evaluating the performance of different split strategies for the CEGAR planning heuristic. Requirements Lab: https://bitbucket.org/jendrikseipp/lab Fast Downward: https://lab.readthedocs.io/en/latest/downward.tutorial.html