Update IntervalConstraintProgramming requirement from 0.13, 0.14 to 0.13, 0.14, 0.15

[dependabot]

Updates the requirements on IntervalConstraintProgramming to permit the latest version.

Release notes

Sourced from IntervalConstraintProgramming's releases.

v0.15.0

IntervalConstraintProgramming v0.15.0

Diff since v0.14.0

Breaking changes

• Update to breaking version v1 of IntervalArithmetic

Merged pull requests:

• Update deps for IntervalArithmetic v1.0 compatibility (#221) (@​dpsanders)

Closed issues:

• Problem with external constant for the macro @​constraint (#154)
• Don't use variables t1 etc. in code generation (#173)
• constants interpolation not working on julia 1.6 upwards (#180)
• Implement binary tree for pavings (#193)
• Re-implement contractors and separators with parameters (#215)
• Remove the macro interface? (#216)

Changelog

Sourced from IntervalConstraintProgramming's changelog.

IntervalConstraintProgramming.jl

v0.14

New API using Symbolics

• The public API has been completely rewritten
• The previous macros such as @constraint have been removed
• The API now uses symbolic variables from Symbolics.jl
• See the README for usage examples

v0.11

Minimum Julia version

• The minimum Julia version supported is now Julia 1.1

Functionality's are added

• Contractor can be make by just function name only
• New type of Contractor named as BasicContractor can be construct which only contain fields of useful data.

v0.10

Minimum Julia version

• The minimum Julia version supported is now Julia 1.0.

New Dependency added: ModelingToolkit.jl

• By the help of ModelingToolkit.jl we can construct contractors and separators without the use of macros.

v0.9

Minimum Julia version

• The minimum Julia version supported is now Julia 0.7. The package is fully compatible with Julia 1.0.

Functionality removed

• Pavings are now immutable, so refine! no longer works.

v0.8

Minimum Julia version

• The minimum Julia version required has been bumped to 0.6; this will be the last release to support 0.6.

v0.7

New dependency: IntervalContractors.jl

The reverse functions used for constraint propagation have been factored out into the IntervalContractors.jl package.

v0.6

Minimum Julia version

• The minimum Julia version required has been bumped to 0.5

API change

• Objects such as Contractor have been simplified by putting functions and the code that generated them inside a GeneratedFunction type

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)