Added mu-stability constraint to solver