set BigM as the default reformulation method

Author: hdavid16

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 `:=`:

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)