fix(solver): in conflics heuristic, var_inc could reach +inf due to failure to scale down. - #263

fix(solver): in conflics heuristic, var_inc could reach +inf due to failure to scale down.#263

arbimo merged 1 commit into

masterplaans/aries:masterfrom

fix/conflicts-var-incplaans/aries:fix/conflicts-var-incCopy head branch name to clipboard