Skip to content

Commit c97dfce

Browse files
committed
readme update
1 parent 2bdeeab commit c97dfce

1 file changed

Lines changed: 5 additions & 7 deletions

File tree

‎README.md‎

Lines changed: 5 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -172,16 +172,14 @@ The following reformulation methods are currently supported:
172172

173173
3. [Indicator](https://jump.dev/JuMP.jl/stable/manual/constraints/#Indicator-constraints): This method reformulates each disjunct constraint into an indicator constraint with the Boolean reformulation counterpart of the Logical variable used to define the disjunct constraint.
174174

175-
<<<<<<< HEAD
176-
4. [P-Split](https://arxiv.org/abs/2202.05198): This method reformulates each disjunct constraint into P constraints, each with a partitioned group defined by the user. This method requires that terms in the constraint be convex additively seperable with respect to each variable. The `PSplit` struct is created with the following required arguments:
177-
178-
- `partition`: Partition of the variables to be split. All variables must be in exactly one partition. (e.g., The variables `x[1:4]` can be partitioned into two groups ` partition = [[x[1], x[2]], [x[3], x[4]]]`)
179-
=======
180175
4. [MBM](https://doi.org/10.1016/j.compchemeng.2015.02.013): The multiple big-m method creates multiple M values for each disjunct constraint. The 'MBM' struct is created with the following required argument:
181176

182177
- `optimizer`: Optimizer to use when solving subproblems to determine M values. This is a required value.
183178
- `default_M`: Default big-M value to use if no big-M is specified for a logical variable (1e9).
184-
>>>>>>> upstream/master
179+
180+
5. [P-Split](https://arxiv.org/abs/2202.05198): This method reformulates each disjunct constraint into P constraints, each with a partitioned group defined by the user. This method requires that terms in the constraint be convex additively seperable with respect to each variable. The `PSplit` struct is created with the following required arguments:
181+
182+
- `partition`: Partition of the variables to be split. All variables must be in exactly one partition. (e.g., The variables `x[1:4]` can be partitioned into two groups ` partition = [[x[1], x[2]], [x[3], x[4]]]`)
185183

186184
## Release Notes
187185

@@ -198,7 +196,7 @@ using HiGHS
198196
m = GDPModel(HiGHS.Optimizer)
199197
@variable(m, 0 ≤ x[1:2] ≤ 20)
200198
@variable(m, Y[1:2], Logical)
201-
@constraint(m, [i = 1:2], [2,5][i] ≤ x[i] ≤ [6,9][i], Disjunct(Y[1]))
199+
@constraint(m, [i = 1:2], [2,5][i] ≤ x[i] ≤ [6,9][i], Disjunct(Y[1]))
202200
@constraint(m, [i = 1:2], [8,10][i] ≤ x[i] ≤ [11,15][i], Disjunct(Y[2]))
203201
@disjunction(m, Y)
204202
@objective(m, Max, sum(x))

0 commit comments

Comments
 (0)