Merge branch 'master' into abstract-model

Author: pulsipher

Project.toml

@@ -11,6 +11,7 @@ Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 JuMP = "1.16"
 Reexport = "1"
 julia = "1.6"
+Aqua = "0.8"
 
 [extras]
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"

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/reformulate.jl

@@ -2,12 +2,12 @@
 #                              REFORMULATE
 ################################################################################
 """
-    reformulate_model(model::JuMP.AbstractModel, method::AbstractSolutionMethod)::Nothing
+    reformulate_model(model::JuMP.AbstractModel, method::AbstractSolutionMethod = BigM())
 
 Reformulate a `GDPModel` using the specified `method`. Prior to reformulation,
 all previous reformulation variables and constraints are deleted.
 """
-function reformulate_model(model::JuMP.AbstractModel, method::AbstractSolutionMethod)
+function reformulate_model(model::JuMP.AbstractModel, method::AbstractSolutionMethod = BigM())
     #clear all previous reformulations
     _clear_reformulations(model)
     #reformulate

test/aqua.jl

@@ -1,5 +1,6 @@
 using Aqua
 using DisjunctiveProgramming
 
-Aqua.test_all(DisjunctiveProgramming, ambiguities = false)
+Aqua.test_all(DisjunctiveProgramming, deps_compat = false, ambiguities = false)
+Aqua.test_deps_compat(DisjunctiveProgramming, check_extras = (ignore=[:Test, :HiGHS],))
 Aqua.test_ambiguities(DisjunctiveProgramming)