CVXPY
Minimize
  n
Subject To
 6: 1.0 <= n
Bounds
 n free
Generals
 n
End
----------------------------------------
AFTER COMPILATION
OBJECTIVE
  Sense            : minimize
VARIABLES
  [integer] <x_0>: obj=1, original bounds=[-inf,+inf]
CONSTRAINTS
  [linear] <c1>:  -<x_0>[I] <= -1;
END
----------------------------------------
SCIP
OBJECTIVE
  Sense            : minimize
VARIABLES
  [integer] <n>: obj=1, original bounds=[-inf,+inf]
CONSTRAINTS
  [linear] <6>: <n>[I] >= 1;
END