CVXPY
Minimize
  1.0 + -x
Subject To
 34: x <= 1.0
Bounds
 0.0 <= x
End
----------------------------------------
AFTER COMPILATION
Minimize
 Obj: -1 x_0
Subject to
 c1: -1 x_0 <= +0
 c2: +1 x_0 <= +1
Bounds
 x_0 free
End
----------------------------------------
SCIP
Minimize
 Obj: -1 x +1
Subject to
 34: +1 x <= +1
Bounds
End