Add --step-on-decision
to the solver
#1038
Merged
--step-on-decision
to the solver
#1038