Fixed the linear programming algorithm in VerifyED.