Merge pull request #3097 from dandsager1/STORM-3475

STORM-3475 Add ConstraintSolverStrategy Unit Test