Update ExaModels requirement from 0.11 to 0.11, 0.12

[dependabot]

Updates the requirements on ExaModels to permit the latest version.

Release notes

Sourced from ExaModels's releases.

v0.12.0

ExaModels v0.12.0

Diff since v0.11.2

This release makes a model's structure separable from its data, and compiles the result ahead of time. A recipe — an ExaCore built against ArgSource placeholders (ExaCore(nargs = Val(N))) — is instantiated at any sizes and data later, and ExaModelsCompiler (renamed from ExaModelsC) compiles one into a shared library implementing cnlp ABI v0.1, consumed from Julia by CNLPModels.jl or from Python by cnlpmodels with no Julia runtime on the caller's side.

One library can carry several models, each under its own symbol prefix, and each model gets whichever instantiation surface its arguments call for: one integer (P_new(n)), a published schema and a builder for structured data, a string entry point (P_new_str, so only a case-file path crosses the boundary), or nothing at all. Libraries are self-describing: they publish a catalogue of the models they carry and, per model, a typed signature of what it instantiates from — so a consumer holding only a library path can discover, instantiate, and evaluate every model in it.

Models also publish their named blocks — the variables, constraints and parameters they were written with, each with offset, length and dims — and the same accessors work on both sides of the boundary:

get_vars(m)                        # named variable blocks; get_cons/get_pars too
solution(result, get_vars(m, :pg)) # reshaped to the block's own dims
multipliers(result, get_cons(m, :balance))
set_value!(m, get_pars(m, :load), new_demand)

A package that ships models can implement compile_all(::Val{TheirModule}) in an ExaModelsCompiler extension — providing models never costs a dependency on a compiler toolchain — and ExaModelsPower.jl, COPSBenchmark.jl and LuksanVlcekBenchmark.jl all do, serving as stylistic guidelines for new modeling libraries.

Model construction is now non-concrete by default — lower latency for ordinary use, with concrete = Val(true) available where the fully-typed core is wanted.

Breaking — parameters. set_parameter! is gone; set_value! is the only spelling, paired with get_value, matching the two-stage methods that already used those names. And a model now copies the core's parameter vector when it is built, so after that point the core is the blueprint and the model owns the values: an update goes to the model, set_value!(m, θ, v), not to the core.

... (truncated)

Commits

• 55c3847 Bump ExaModels version to v0.12.0 (#316)
• c8055d2 An axis is measured by its length, whatever iterates it (#314)
• 20d1998 README: point at the modeling libraries built on ExaModels (#315)
• a9fbf9c Docs: the select traps two providers hit; nothing that does not survive contact
• d22dcce A data axis is measured by its length, like a range's
• 61c7d4f Restore select: the refusal is a contract property
• b76b967 Test the announcement on the compiled artifact itself
• ec6967d The cnlp citation belongs to ExaModelsCompiler, not the ExaModels README
• b640bf0 Name the contract: the emitted library implements cnlp ABI v0.1
• 61c6534 Publish what a consumer cannot otherwise know: a catalogue and argument signa...
• 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 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)