Back to the HomePage.
Caveats for the options
Here, we document some aspects of the command-line syntax that may be unintuitive or complicated.
Using "preferred operators" with landmark heuristics
Unlike all other (current) heuristics, the landmark heuristic (lmcount, see Doc/Evaluator#Landmark-count_heuristic) requires a special setting pref=true to enable preferred operator support. Hence, to use preferred operators with that heuristic, two things must be done at the moment: