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)