Code from the paper "Counterexample-guided Cartesian Abstraction Refinement for Classical Planning"

The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction refinement and saturated cost partitioning can be found in the "src/search/cegar" directory.

Please see http://www.fast-downward.org for instructions on how to compile the planner.