Revision 7 as of 2015-07-28 16:32:20

Clear message

Merge strategy DFP

This merge strategy implements the algorithm originally described in the paper "Directed model checking with distance-preserving abstractions" by Draeger, Finkbeiner and Podelski (SPIN 2006), adapted to planning in the following paper:

merge_dfp()

Linear merge strategies

This merge strategy implements several linear merge orders, which are described in the paper:

merge_linear(variable_order=CG_GOAL_LEVEL)