Merge pull request #3117 from dandsager1/STORM-3495

STORM-3495 TestConstraintSolverStrategy is not stable on travis