列与约束生成