CVXPY
Maximize
  Sum(X, None, False)
Subject To
 58: max(X, None, False) + max([[1.00 -2.00]
 [3.00 4.00]], None, False) <= 1.0
Bounds
 X free
End
----------------------------------------
AFTER COMPILATION
Minimize
  - x_0 - x_1 - x_2 - x_3
Subject To
 R0: x_0 - x_4 <= 0
 R1: x_1 - x_4 <= 0
 R2: x_2 - x_4 <= 0
 R3: x_3 - x_4 <= 0
 R4: x_4 <= -3
Bounds
 x_0 free
 x_1 free
 x_2 free
 x_3 free
 x_4 free
End
----------------------------------------
GUROBI
Maximize
  X[0,0] + X[0,1] + X[1,0] + X[1,1]
Subject To
 58: max_1 <= -3
Bounds
 X[0,0] free
 X[0,1] free
 X[1,0] free
 X[1,1] free
 max_1 free
General Constraints
 GC0: max_1 = MAX ( X[0,0] , X[0,1] , X[1,0] , X[1,1] )
End