CVXPY
Minimize
  x + -y
Subject To
 12: y <= 1.0
Bounds
 0.0 <= x
 0.0 <= y
End
----------------------------------------
AFTER COMPILATION
Minimize
  C0 - C1
Subject To
 R0: C1 <= 1
Bounds
End
----------------------------------------
GUROBI
Minimize
  x - y
Subject To
 12: y <= 1
Bounds
End