Defining a JuMP binary variable

Specific Domains Optimization (Mathematical)
1

Is there a difference in performance within JuMP, MOI, and/or the third-party MILP solver between the two possible ways of defining a binary variable given below?

  1. @variable(m, b, Int, lower_bound = 0, upper_bound = 1)
  2. @variable(m, b, Bin)
2

In general, no, they’re the same.