Update ModelingToolkit requirement to 11.17.0 in /test in the all-julia-packages group across 1 directory

[dependabot]

⚠️ Dependabot is rebasing this PR ⚠️

Rebasing might not happen immediately, so don't worry if this takes some time.

Note: if you make any changes to this PR yourself, they will take precedence over the rebase.

---

Updates the requirements on ModelingToolkit to permit the latest version.
Updates ModelingToolkit to 11.17.0

Release notes

Sourced from ModelingToolkit's releases.

v11.17.0

ModelingToolkit v11.17.0

Diff since v11.16.0

Merged pull requests:

• feat: automatically combine SCCs in SCCNonlinearProblem (#4361) (@​AayushSabharwal)
• test: handle new solvability semantics in tests (#4391) (@​AayushSabharwal)
• fix: do not unhack system in get_substitutions (full_equations) (#4395) (@​AayushSabharwal)
• build: bump MTKBase minor, MTK minor, MTKBase compat (#4396) (@​AayushSabharwal)

Closed issues:

• Trivial nonlinear system not simplifying to zero (#4322)
• UndefVarError in generated code for LinearProblem (#4345)
• mtkcompile removes variables referenced only in other variables' defaults (#4393)

Changelog

Sourced from ModelingToolkit's changelog.

ModelingToolkit v11 Release Notes

Symbolics@7 and SymbolicUtils@4 compatibility

SymbolicUtils version 4 involved a major overhaul of the core symbolic infrastructure, which propagated to Symbolics as Symbolics version 7. ModelingToolkit has now updated to these versions. This includes significant type-stability improvements, enabling precompilation of large parts of the symbolic infrastructure and faster TTFX. It is highly recommended to read the Release Notes for SymbolicUtils@4 and the doc page describing the new variant structure before these release notes.

As part of these changes, ModelingToolkit has changed how some data is represented to allow precompilation. Notably, variable => value mappings (such as guesses) are stored as an AbstractDict{SymbolicT, SymbolicT}. Here, SymbolicT is a type that comes from Symbolics.jl, and is the type for all unwrapped symbolic values. This means that any non-symbolic values are stored as SymbolicUtils.Const variants. Mutation such as guesses(sys)[x] = 1.0 is still possible, and values are automatically converted. However, obtaining the value back requires usage of SymbolicUtils.unwrap_const or Symbolics.value.

Following is a before/after comparison of the TTFX for the most common operations in ModelingToolkit.jl. Further improvements are ongoing. Note that the timings do depend on many factors such as the exact system used, types passed to constructor functions, other packages currently loaded in the session, presence of array variables/equations, whether index reduction is required, and the behavior of various passes in mtkcompile. However, the numbers are good representations of the kinds of performance improvements that are possible due to the new infrastructure. There will continue to be improvements as this gets more extensive testing and we are better able to identify bottlenecks in compilation.

System constructor

The time to call System, not including the time taken for @variables or building the equations.

Before:

  0.243758 seconds (563.80 k allocations: 30.613 MiB, 99.48% compilation time: 3% of which was recompilation)
elapsed time (ns):  2.43757958e8
gc time (ns):       0
bytes allocated:    32099616
pool allocs:        563137
non-pool GC allocs: 16
malloc() calls:     651
free() calls:       0
minor collections:  0
full collections:   0

After:

</tr></table> 

... (truncated)

Commits

• 7c87923 Merge pull request #4396 from SciML/as/bump-version
• 5acb3d4 build: bump MTK minor version, MTKBase compat
• 9a7ba24 build: bump MTKBase minor version
• 443b39b Merge pull request #4395 from SciML/as/full-eqs-no-unhack
• 76c1d60 fix: do not substitute inside Differential in full_equations
• db94726 refactor: improve array observed variables hack
• 30ff1f2 build: bump MTKTearing compat
• f39c7e1 fix: do not unhack system in get_substitutions (full_equations)
• a9935a2 Merge pull request #4361 from SciML/as/combine-sccs
• 4bf07b7 build: bump LinearSolve compat
• Additional commits viewable 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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions