hdavid16/DisjunctiveProgramming.jl: v0.5.0

DisjunctiveProgramming v0.5.0

Diff since v0.4.1

Breaking changes

• Rename DisjunctConstraint as Disjunct: https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/86
• Add exactly 1 constraints via the exactly1 keyword argument when creating disjunctions: https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/90
• Refactor logical constraints to use new := true syntax instead of in IsTrue(): https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/91
• Disallow logical constraints with only 1 logical variable: https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/92
• Support general number types: https://github.com/hdavid16/DisjunctiveProgramming.jl/pull/93

Additional changes

• Various coverage improvements, bug fixes, and doc improvements

Merged pull requests:

• Increase_codecov (#82) (@hdavid16)
• remove JuMP prefix (#84) (@hdavid16)
• breaking: replace DisjunctConstraint with Disjunct (#86) (@hdavid16)
• use @constraint (#87) (@hdavid16)
• Add exactly1 option for disjunctions and fix bugs (#90) (@pulsipher)
• Refactor Logical Constraints to use := (#91) (@pulsipher)
• Disallow logical propositions with only 1 logical variable (#92) (@hdavid16)
• Support GenericModel and AbstractModel (#93) (@pulsipher)

Closed issues:

• Array disjunctions (#67)
• Create Docs (#69)
• Add Code Coverage (#70)
• Have @disjunction automatically add exactly one constraints with a keyword argument (#72)
• Replace DisjunctConstraint with Disjunct (#77)
• Support the new := logical constraint syntax used by JuMP (#83)
• Generalize to AbstractModels (#85)