Currently every call to clingo uses the -single-shot, but some planner variantes may want to do multi-shot solving, by solving and then grounding the plan, and this won't work if that option is on.
we need to move that to an option.
Note: we added that option with @idrave after this thread discussion on the forum. Most solvers we have are indeed single-shot, but we have one where the grounding of the policy comes after.
Also, the option for CLI is only shown when one does clingo --help=3
Currently every call to clingo uses the
-single-shot, but some planner variantes may want to do multi-shot solving, by solving and then grounding the plan, and this won't work if that option is on.we need to move that to an option.
Note: we added that option with @idrave after this thread discussion on the forum. Most solvers we have are indeed single-shot, but we have one where the grounding of the policy comes after.
Also, the option for CLI is only shown when one does
clingo --help=3