我在使用多个求解器（GUROBI、pyscipopt和mindopt）写约束条件碰到了点小问题，
条件是这样的，
if1_SSC = model.addVar(lb=0, vtype='C', name='含铁辅料消耗上限_if1')
cond3 = model.addVar(lb=0, vtype='C', name='条件步含铁辅料消耗上限_if1')
model.addCons(cond3 == ((self.含铁辅料消耗上限 - (self.冷料上限铁耗 - if2_MIC) / self.铁水消耗与含铁料热平衡比值) / self.含铁辅料收得率))
然后我这里就想当cond3大于0的时候，取cond3和 self.含铁辅料消耗上限 较小的那个值，GUROBI中写法是

model.addCons(if1SSC == gp.min([cond3, self.含铁辅料消耗上限]))

我查询了一下，mindopt和scip中是没有这个函数的，想请教一下我这种情况应该怎么写比较合适，实际想实现