diff --git a/README.md b/README.md index bc4afb5..e970e8c 100644 --- a/README.md +++ b/README.md @@ -70,7 +70,7 @@ Two types of logical constraints are supported: - `∨` or `logical_or` or `||` (OR, typed with `\vee + tab`). - `∧` or `logical_and` or `&&` (AND, typed with `\wedge + tab`). - `¬` or `logical_not` (NOT, typed with `\neg + tab`). - - `⟹` of `implies` (Implication, typed with `\Longrightarrow + tab`). + - `⟹` or `implies` (Implication, typed with `\Longrightarrow + tab`). - `⇔` or `iff` or `==` (double implication or equivalence, typed with `\Leftrightarrow + tab`). The `@constraint` JuMP macro is used to create these constraints using `:=`: diff --git a/src/model.jl b/src/model.jl index 4568221..794db35 100644 --- a/src/model.jl +++ b/src/model.jl @@ -18,7 +18,7 @@ end # See https://github.com/jump-dev/JuMP.jl/blob/9ea1df38fd320f864ab4c93c78631d0f15939c0b/src/JuMP.jl#L718-L745 function _optimize_hook( model::Model; - method::AbstractSolutionMethod + method::AbstractSolutionMethod = BigM() ) # can add more kwargs if wanted if !_ready_to_optimize(model) || _solution_method(model) != method reformulate_model(model, method)