You are not allowed to do newaccount on this page. Login and try again.

Clear message

Subtask generator (used by the CEGAR heuristic).

goals

goals(order=hadd_down, random_seed=-1)

landmarks

landmarks(order=hadd_down, random_seed=-1, combine_facts=true)

original

original(copies=1)