CVXPY
Maximize
  x
Subject To
Bounds
 [1.] <= x[True]
 x[True] <= [3.5]
End
----------------------------------------
AFTER COMPILATION
OBJECTIVE
  Sense            : minimize
VARIABLES
  [continuous] <x_0>: obj=-1, original bounds=[-inf,+inf]
CONSTRAINTS
  [linear] <c1>:  -<x_0>[C] <= -1;
  [linear] <c2>: <x_0>[C] <= 3.5;
END
----------------------------------------
SCIP
OBJECTIVE
  Sense            : maximize
VARIABLES
  [continuous] <x_0>: obj=1, original bounds=[1,3.5]
END