CVXPY
Minimize
  Sum(X + Y, None, False)
Subject To
 16: 1.0 <= minimum(X, Y)
Bounds
 X free
 Y free
End
----------------------------------------
AFTER COMPILATION
Minimize
  x_0 + x_1 + x_2 + x_3 + x_4 + x_5 + x_6 + x_7
Subject To
 R0: - x_0 - x_8 <= 0
 R1: - x_1 - x_9 <= 0
 R2: - x_2 - x_10 <= 0
 R3: - x_3 - x_11 <= 0
 R4: - x_4 - x_8 <= 0
 R5: - x_5 - x_9 <= 0
 R6: - x_6 - x_10 <= 0
 R7: - x_7 - x_11 <= 0
 R8: x_8 <= -1
 R9: x_9 <= -1
 R10: x_10 <= -1
 R11: x_11 <= -1
Bounds
 x_0 free
 x_1 free
 x_2 free
 x_3 free
 x_4 free
 x_5 free
 x_6 free
 x_7 free
 x_8 free
 x_9 free
 x_10 free
 x_11 free
End
----------------------------------------
GUROBI
Minimize
  X[0,0] + X[0,1] + X[1,0] + X[1,1] + Y[0,0] + Y[0,1] + Y[1,0] + Y[1,1]
Subject To
 16[0,0]: minimum_1 >= 1
 16[0,1]: minimum_2 >= 1
 16[1,0]: minimum_3 >= 1
 16[1,1]: minimum_4 >= 1
Bounds
 X[0,0] free
 X[0,1] free
 X[1,0] free
 X[1,1] free
 Y[0,0] free
 Y[0,1] free
 Y[1,0] free
 Y[1,1] free
 minimum_1 free
 minimum_2 free
 minimum_3 free
 minimum_4 free
General Constraints
 GC0: minimum_1 = MIN ( X[0,0] , Y[0,0] )
 GC1: minimum_2 = MIN ( X[0,1] , Y[0,1] )
 GC2: minimum_3 = MIN ( X[1,0] , Y[1,0] )
 GC3: minimum_4 = MIN ( X[1,1] , Y[1,1] )
End