20 lines
576 B
Diff
20 lines
576 B
Diff
--- zimpl-362/check/minlp.pip.ref.orig 2024-09-12 23:08:28.000000000 -0600
|
|
+++ zimpl-362/check/minlp.pip.ref 2025-01-15 15:31:47.835678296 -0700
|
|
@@ -31,7 +31,7 @@ Subject to
|
|
c1_1:
|
|
-1 x#1 +1 x#1^2 = 1
|
|
c2_1:
|
|
- +30 x#1 * x#2 * x#3 <= 77
|
|
+ +30 x#2 * x#3 * x#1 <= 77
|
|
c3_1:
|
|
+1 y * z -4 y^2 * z^3 = 0
|
|
c4_1:
|
|
@@ -40,7 +40,7 @@ Subject to
|
|
c5_1:
|
|
+2 y +5 z +1 y * z = -7
|
|
c6_1:
|
|
- +4 x#1^2 +2.66666666666667 x#1 * x#2 +0.444444444444444 x#2^2 = 9
|
|
+ +4 x#1^2 +2.66666666666667 x#2 * x#1 +0.444444444444444 x#2^2 = 9
|
|
c7_1_a_0:
|
|
- __c7_1_t_0@d + a = 0
|
|
c7_1_b_1:
|