New version: DisjunctiveProgramming v0.5.0

[JuliaRegistrator]

• Registering package: DisjunctiveProgramming
• Repository: https://github.com/hdavid16/DisjunctiveProgramming.jl
• Created by: @pulsipher
• Version: v0.5.0
• Commit: 38797542e91ef5cbcbfdb00a0d914840094acdd0
• Reviewed by: @pulsipher
• Reference: hdavid16/DisjunctiveProgramming.jl@3879754#commitcomment-133594933
• Description: A JuMP extension for Generalized Disjunctive Programming
• Release notes:

## 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

[github-actions]

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.

---

If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment. You can edit blocking comments, adding [noblock] to them in order to unblock auto-merging.