CVXPY
Maximize
  x
Subject To
 12: norm_inf(x) <= 1.0
Bounds
 x free
End
----------------------------------------
AFTER COMPILATION
Minimize
  - x_0
Subject To
 R0: x_0 - x_1 <= 0
 R1: - x_0 - x_1 <= 0
 R2: x_1 <= 1
Bounds
 x_0 free
 x_1 free
End
----------------------------------------
GUROBI
Maximize
  x[0]
Subject To
 12: norminf_1 <= 1
Bounds
 x[0] free
General Constraints
 GC0: norminf_1 = NORM ( Inf ) ( x[0] )
End