Moved stuff that doesn't modify the Solution from HardConstraintsSolver
to util.Solving