Reproducible example is:
using JuMP
import SCIP
model = Model(SCIP.Optimizer)
@variable(model, 0 <= s <= 1, Bin)
@variable(model, n)
@constraint(model, [n, s] in MOI.CountBelongs(2, Set([1])))
@constraint(model, [n, s] in MOI.CountBelongs(2, Set([1])))
optimize!(model)
I’ll take a look.