Skip to content

Releases: hdavid16/DisjunctiveProgramming.jl

v0.5.0

27 Nov 15:36
3879754
Compare
Choose a tag to compare

DisjunctiveProgramming v0.5.0

Diff since v0.4.1

Breaking changes

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

Additional changes

  • Various coverage improvements, bug fixes, and doc improvements

Merged pull requests:

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)

v0.4.1

14 Oct 04:09
3af4402
Compare
Choose a tag to compare

DisjunctiveProgramming v0.4.1

Diff since v0.4.0

Merged pull requests:

Closed issues:

  • Add a short alias for LogicalVariable (#73)

v0.4.1 for Zenodo

16 Nov 19:35
3af4402
Compare
Choose a tag to compare
v0.4.1 for Zenodo Pre-release
Pre-release
Merge pull request #81 from hdavid16/hdavid16-patch-1-1

Update README.md

v0.4.0

11 Oct 17:40
Compare
Choose a tag to compare

DisjunctiveProgramming v0.4.0

Diff since v0.3.6

Merged pull requests:

Closed issues:

  • Interval arithmetic can't be applied to quadratic constraints to insert big M value (#62)
  • Fix propositions in paper example (#63)

v0.3.6

12 Jan 22:30
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.6

Diff since v0.3.5

Merged pull requests:

v0.3.5

08 Nov 21:58
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.5

Diff since v0.3.4

v0.3.4

04 Nov 03:24
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.4

Diff since v0.3.3

v0.3.3

13 Oct 07:58
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.3

Diff since v0.3.2

v0.3.2

28 Sep 16:12
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.2

Diff since v0.3.1

Closed issues:

  • Are mixed-integer constraints allowed inside a disjunct? (#25)
  • Big-M Tightness (#42)
  • checking proposition expressions fails (#45)
  • Error when adding disjunctions in a loop with EqualTo constraints (#46)
  • Checking variables in a constraint (#53)
  • infer_bigm without parsing expressions or using IntervalArithmetic (#55)

v0.3.1

12 Sep 05:56
Compare
Choose a tag to compare

DisjunctiveProgramming v0.3.1

Diff since v0.3.0

Closed issues:

  • Update code to access a Nonlinear constraint name when supported by JuMP (#51)

Merged pull requests: