Revision 1 as of 2016-04-11 16:44:31

Clear message

Subtask generator (used by the CEGAR heuristic).

goals

goals(order=HADD_DOWN)

landmarks

landmarks(order=HADD_DOWN, combine_facts=true)

original

original(copies=1)