Skip to content

Instantly share code, notes, and snippets.

@StefanKarpinski

StefanKarpinski/CORPUS.md

Created September 6, 2026 02:49
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save StefanKarpinski/ed99a11efd873f4f17942c7156e8d0de to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save StefanKarpinski/ed99a11efd873f4f17942c7156e8d0de to your computer and use it in GitHub Desktop.
Download ZIP
Resolver.jl — unsatisfiability report corpus (63 real registry diagnoses across six pathologies): chains, three-sided meets, coarsened lockstep families, blocked fixes, triples, and complete-coverage residues
Raw
CORPUS.md

An unsatisfiability-report corpus

63 real registry diagnoses from the sk/explanation-final design, grouped by the structural shape each exercises. Registry state of 2026-09-06.

Single conflicts, read as a chain (22)

A proof reads as one chain: a root fact, implications each arguing from what the line above left, ending at the fact that contradicts it.

ACSets ≥0.2.29 + Variography ≥0.22.6

Unsatisfiable — 1 conflict:

Conflict 1: ACSets and Variography
  • your compat leaves ACSets 0.2.29
  • ACSets 0.2.29 requires PrettyTables ≥3.4.7
  • PrettyTables ≥3.4.7 constrains Variography ≤0.22.5 (through GeoTables and
    Meshes)
  • your compat leaves Variography 0.22.6
  Fix it by any one of:
    1. relax your compat on ACSets
       → allows: ACSets 0.2.26, PrettyTables 2.4.0, Variography 0.22.6
    2. relax your compat on Variography
       → allows: ACSets 0.2.29, PrettyTables 3.4.8, Variography 0.14.5
    3. drop requirement ACSets
       → allows: PrettyTables 2.4.0, Variography 0.22.6
    4. drop requirement Variography
       → allows: ACSets 0.2.29, PrettyTables 3.4.8

AbstractPlotting ≥0.18.3 + CitableBase ≥10.4.0

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and CitableBase
  • your compat leaves AbstractPlotting 0.18.3
  • AbstractPlotting 0.18.3 requires DocStringExtensions ≤0.8.6
  • DocStringExtensions ≤0.8.6 constrains CitableBase ≤10.3.1
  • your compat leaves CitableBase 10.4.0
  Fix it by any one of:
    1. relax your compat on AbstractPlotting
       → allows: AbstractPlotting 0.9.8, CitableBase 10.4.0,
         DocStringExtensions 0.9.5
    2. relax your compat on CitableBase
       → allows: AbstractPlotting 0.18.3, CitableBase 10.2.1,
         DocStringExtensions 0.8.6
    3. drop requirement AbstractPlotting
       → allows: CitableBase 10.4.0, DocStringExtensions 0.9.5
    4. drop requirement CitableBase
       → allows: AbstractPlotting 0.18.3, DocStringExtensions 0.8.6

AlgebraOfGraphics ≥0.13.1 + Variography ≥0.22.6

Unsatisfiable — 1 conflict:

Conflict 1: AlgebraOfGraphics and Variography
  • your compat leaves AlgebraOfGraphics 0.13.1
  • AlgebraOfGraphics 0.13.1 requires Makie ≥0.24.4
  • Makie ≥0.24.4 constrains Variography ≤0.22.5
  • your compat leaves Variography 0.22.6
  Fix it by any one of:
    1. relax your compat on AlgebraOfGraphics
       → allows: AlgebraOfGraphics 0.8.11, Makie 0.20.10, Variography 0.22.6
    2. relax your compat on Variography
       → allows: AlgebraOfGraphics 0.13.1, Makie 0.24.14, Variography 0.16.1
    3. drop requirement AlgebraOfGraphics
       → allows: Variography 0.22.6
    4. drop requirement Variography
       → allows: AlgebraOfGraphics 0.13.1, Makie 0.24.14

BloqadeExpr ≥0.2.3 + Clapeyron ≥0.6.27

Unsatisfiable — 1 conflict:

Conflict 1: BloqadeExpr and Clapeyron
  • your compat leaves BloqadeExpr 0.2.3
  • BloqadeExpr 0.2.3 leaves no version of IFTDuals (through ForwardDiff)
  • IFTDuals absent constrains Clapeyron ≤0.6.26
  • your compat leaves Clapeyron 0.6.27
  Fix it by any one of:
    1. relax your compat on BloqadeExpr
       → allows: BloqadeExpr 0.1.14, Clapeyron 0.6.27, IFTDuals 0.2.0
    2. relax your compat on Clapeyron
       → allows: BloqadeExpr 0.2.3, Clapeyron 0.6.21
    3. drop requirement BloqadeExpr
       → allows: Clapeyron 0.6.27, IFTDuals 0.2.0
    4. drop requirement Clapeyron
       → allows: BloqadeExpr 0.2.3

BloqadeExpr ≥0.2.3 + FrankWolfe ≥0.6.4

Unsatisfiable — 1 conflict:

Conflict 1: BloqadeExpr and FrankWolfe
  • your compat leaves BloqadeExpr 0.2.3
  • BloqadeExpr 0.2.3 constrains FrankWolfe ≤0.6.3 (through KrylovKit and
    YaoBlocks)
  • your compat leaves FrankWolfe 0.6.4
  Fix it by any one of:
    1. relax your compat on BloqadeExpr
       → allows: BloqadeExpr 0.2.1, FrankWolfe 0.6.4
    2. relax your compat on FrankWolfe
       → allows: BloqadeExpr 0.2.3, FrankWolfe 0.6.2
    3. drop requirement BloqadeExpr
       → allows: FrankWolfe 0.6.4
    4. drop requirement FrankWolfe
       → allows: BloqadeExpr 0.2.3

BloqadeExpr ≥0.2.3 + Knet ≥1.4.10

Unsatisfiable — 1 conflict:

Conflict 1: BloqadeExpr and Knet
  • your compat leaves BloqadeExpr 0.2.3
  • BloqadeExpr 0.2.3 requires Adapt ≥4.6.1
  • Adapt ≥4.6.1 constrains Knet ≤1.4.9 (through CUDA)
  • your compat leaves Knet 1.4.10
  Fix it by any one of:
    1. relax your compat on BloqadeExpr
       → allows: Adapt 3.7.2, BloqadeExpr 0.2.1, Knet 1.4.10
    2. relax your compat on Knet
       → allows: Adapt 4.7.0, BloqadeExpr 0.2.3, Knet 1.2.3
    3. drop requirement BloqadeExpr
       → allows: Adapt 3.7.2, Knet 1.4.10
    4. drop requirement Knet
       → allows: Adapt 4.7.0, BloqadeExpr 0.2.3

CairoMakie ≥0.15.13 + Knet ≥1.4.10

Unsatisfiable — 1 conflict:

Conflict 1: CairoMakie and Knet
  • your compat leaves CairoMakie ≥0.15.13
  • CairoMakie ≥0.15.13 requires ImageBase 0.1.7 (through Makie)
  • ImageBase 0.1.7 constrains Knet ≤1.4.9 (through ImageCore)
  • your compat leaves Knet 1.4.10
  Fix it by any one of:
    1. relax your compat on CairoMakie
       → allows: CairoMakie 0.12.9, ImageBase 0.1.5, Knet 1.4.10
    2. relax your compat on Knet
       → allows: CairoMakie 0.15.14, ImageBase 0.1.7, Knet 1.4.6
    3. drop requirement CairoMakie
       → allows: Knet 1.4.10
    4. drop requirement Knet
       → allows: CairoMakie 0.15.14, ImageBase 0.1.7

CategoricalDistributions ≥0.2.2 + Variography ≥0.22.6

Unsatisfiable — 1 conflict:

Conflict 1: CategoricalDistributions and Variography
  • your compat leaves CategoricalDistributions 0.2.2
  • CategoricalDistributions 0.2.2 constrains DataScienceTraits ≥1.0.4
    (through CategoricalArrays)
  • DataScienceTraits ≥1.0.4 or absent constrains Variography ≤0.22.5 (through
    GeoTables and Meshes)
  • your compat leaves Variography 0.22.6
  Fix it by any one of:
    1. relax your compat on CategoricalDistributions
       → allows: CategoricalDistributions 0.1.15, DataScienceTraits 0.2.4,
         Variography 0.22.6
    2. relax your compat on Variography
       → allows: CategoricalDistributions 0.2.2, Variography 0.19.0
    3. drop requirement CategoricalDistributions
       → allows: DataScienceTraits 0.2.4, Variography 0.22.6
    4. drop requirement Variography
       → allows: CategoricalDistributions 0.2.2

CitableBase ≥10.4.0 + GalacticOptim ≥3.4.0

Unsatisfiable — 1 conflict:

Conflict 1: CitableBase and GalacticOptim
  • your compat leaves CitableBase 10.4.0
  • CitableBase 10.4.0 requires DocStringExtensions 0.9.5
  • DocStringExtensions 0.9.5 constrains GalacticOptim ≤3.3.1
  • your compat leaves GalacticOptim 3.4.0
  Fix it by any one of:
    1. relax your compat on CitableBase
       → allows: CitableBase 10.2.1, DocStringExtensions 0.8.6, GalacticOptim
         3.4.0
    2. relax your compat on GalacticOptim
       → allows: CitableBase 10.4.0, DocStringExtensions 0.9.5, GalacticOptim
         0.4.6
    3. drop requirement CitableBase
       → allows: DocStringExtensions 0.8.6, GalacticOptim 3.4.0
    4. drop requirement GalacticOptim
       → allows: CitableBase 10.4.0, DocStringExtensions 0.9.5

CitableObject ≥0.16.1 + LiveServer ≥1.6.0

Unsatisfiable — 1 conflict:

Conflict 1: CitableObject and LiveServer
  • your compat leaves CitableObject 0.16.1
  • CitableObject 0.16.1 constrains LiveServer ≤1.5.0 (through CiteEXchange
    and HTTP)
  • your compat leaves LiveServer 1.6.0
  Fix it by any one of:
    1. relax your compat on CitableObject
       → allows: CitableObject 0.11.0, LiveServer 1.6.0
    2. relax your compat on LiveServer
       → allows: CitableObject 0.16.1, LiveServer 1.5.0
    3. drop requirement CitableObject
       → allows: LiveServer 1.6.0
    4. drop requirement LiveServer
       → allows: CitableObject 0.16.1

CiteEXchange ≥0.10.2 + LiveServer ≥1.6.0

Unsatisfiable — 1 conflict:

Conflict 1: CiteEXchange and LiveServer
  • your compat leaves CiteEXchange 0.10.2
  • CiteEXchange 0.10.2 requires HTTP 1.0.0–1.11.0
  • HTTP 1.0.0–1.11.0 constrains LiveServer ≤1.5.0
  • your compat leaves LiveServer 1.6.0
  Fix it by any one of:
    1. relax your compat on CiteEXchange
       → allows: CiteEXchange 0.3.0, HTTP 2.6.7, LiveServer 1.6.0
    2. relax your compat on LiveServer
       → allows: CiteEXchange 0.10.2, HTTP 1.11.0, LiveServer 1.5.0
    3. drop requirement CiteEXchange
       → allows: HTTP 2.6.7, LiveServer 1.6.0
    4. drop requirement LiveServer
       → allows: CiteEXchange 0.10.2, HTTP 1.11.0

ClimaComms ≥0.6.11 + GalacticOptim ≥3.4.0

Unsatisfiable — 1 conflict:

Conflict 1: ClimaComms and GalacticOptim
  • your compat leaves ClimaComms 0.6.11
  • ClimaComms 0.6.11 requires LoggingExtras ≥1.1.0
  • LoggingExtras ≥1.1.0 constrains GalacticOptim ≤3.3.1
  • your compat leaves GalacticOptim 3.4.0
  Fix it by any one of:
    1. relax your compat on ClimaComms
       → allows: ClimaComms 0.6.4, GalacticOptim 3.4.0, LoggingExtras 0.4.9
    2. relax your compat on GalacticOptim
       → allows: ClimaComms 0.6.11, GalacticOptim 0.1.1, LoggingExtras 1.2.0
    3. drop requirement ClimaComms
       → allows: GalacticOptim 3.4.0, LoggingExtras 0.4.9
    4. drop requirement GalacticOptim
       → allows: ClimaComms 0.6.11, LoggingExtras 1.2.0

DiffEqBase ≥7.18.2 + Knet ≥1.4.10

Unsatisfiable — 1 conflict:

Conflict 1: DiffEqBase and Knet
  • your compat leaves DiffEqBase ≥7.18.2
  • DiffEqBase ≥7.18.2 constrains Knet ≤1.4.9 (through ArrayInterface and
    CUDA)
  • your compat leaves Knet 1.4.10
  Fix it by any one of:
    1. relax your compat on DiffEqBase
       → allows: DiffEqBase 6.147.3, Knet 1.4.10
    2. relax your compat on Knet
       → allows: DiffEqBase 7.20.0, Knet 1.2.3
    3. drop requirement DiffEqBase
       → allows: Knet 1.4.10
    4. drop requirement Knet
       → allows: DiffEqBase 7.20.0

DistributedFactorGraphs ≥0.29.0 + Integrals ≥5.5.0

Unsatisfiable — 1 conflict:

Conflict 1: DistributedFactorGraphs and Integrals
  • your compat leaves DistributedFactorGraphs 0.29.0
  • DistributedFactorGraphs 0.29.0 requires RecursiveArrayTools 2.0.0–3.54.0
  • RecursiveArrayTools 2.0.0–3.54.0 constrains Integrals ≤5.4.6 (through
    Adapt, ArrayInterface and SciMLBase)
  • your compat leaves Integrals 5.5.0
  Fix it by any one of:
    1. relax your compat on DistributedFactorGraphs
       → allows: DistributedFactorGraphs 0.18.4, Integrals 5.5.0,
         RecursiveArrayTools 4.5.1
    2. relax your compat on Integrals
       → allows: DistributedFactorGraphs 0.29.0, Integrals 5.4.6,
         RecursiveArrayTools 3.54.0
    3. drop requirement DistributedFactorGraphs
       → allows: Integrals 5.5.0, RecursiveArrayTools 4.5.1
    4. drop requirement Integrals
       → allows: DistributedFactorGraphs 0.29.0, RecursiveArrayTools 3.54.0

DistributedFactorGraphs ≥0.29.0 + LineSearch ≥0.1.16

Unsatisfiable — 1 conflict:

Conflict 1: DistributedFactorGraphs and LineSearch
  • your compat leaves DistributedFactorGraphs 0.29.0
  • DistributedFactorGraphs 0.29.0 requires RecursiveArrayTools 2.0.0–3.54.0
  • RecursiveArrayTools 2.0.0–3.54.0 constrains LineSearch ≤0.1.15 (through
    SciMLBase)
  • your compat leaves LineSearch 0.1.16
  Fix it by any one of:
    1. relax your compat on DistributedFactorGraphs
       → allows: DistributedFactorGraphs 0.18.4, LineSearch 0.1.16,
         RecursiveArrayTools 4.5.1
    2. relax your compat on LineSearch
       → allows: DistributedFactorGraphs 0.29.0, LineSearch 0.1.14,
         RecursiveArrayTools 3.54.0
    3. drop requirement DistributedFactorGraphs
       → allows: LineSearch 0.1.16, RecursiveArrayTools 4.5.1
    4. drop requirement LineSearch
       → allows: DistributedFactorGraphs 0.29.0, RecursiveArrayTools 3.54.0

DistributedFactorGraphs ≥0.29.0 + OptimizationBase ≥5.4.0

Unsatisfiable — 1 conflict:

Conflict 1: DistributedFactorGraphs and OptimizationBase
  • your compat leaves DistributedFactorGraphs 0.29.0
  • DistributedFactorGraphs 0.29.0 requires RecursiveArrayTools 2.0.0–3.54.0
  • RecursiveArrayTools 2.0.0–3.54.0 constrains OptimizationBase ≤5.3.0
    (through SciMLBase)
  • your compat leaves OptimizationBase ≥5.4.0
  Fix it by any one of:
    1. relax your compat on DistributedFactorGraphs
       → allows: DistributedFactorGraphs 0.18.4, OptimizationBase 5.5.3,
         RecursiveArrayTools 4.5.1
    2. relax your compat on OptimizationBase
       → allows: DistributedFactorGraphs 0.29.0, OptimizationBase 5.3.0,
         RecursiveArrayTools 3.54.0
    3. drop requirement DistributedFactorGraphs
       → allows: OptimizationBase 5.5.3, RecursiveArrayTools 4.5.1
    4. drop requirement OptimizationBase
       → allows: DistributedFactorGraphs 0.29.0, RecursiveArrayTools 3.54.0

DynamicalSystemsBase ≥3.19.3 + YAXArrays ≥0.7.7

Unsatisfiable — 1 conflict:

Conflict 1: DynamicalSystemsBase and YAXArrays
  • your compat leaves DynamicalSystemsBase 3.19.3
  • DynamicalSystemsBase 3.19.3 constrains YAXArrays ≤0.7.6 (through
    DiskArrayEngine, SciMLBase and Optimization)
  • your compat leaves YAXArrays 0.7.7
  Fix it by any one of:
    1. relax your compat on DynamicalSystemsBase
       → allows: DynamicalSystemsBase 3.15.7, YAXArrays 0.7.7
    2. relax your compat on YAXArrays
       → allows: DynamicalSystemsBase 3.19.3, YAXArrays 0.6.1
    3. drop requirement DynamicalSystemsBase
       → allows: YAXArrays 0.7.7
    4. drop requirement YAXArrays
       → allows: DynamicalSystemsBase 3.19.3

GDAL_jll ≥305.1300.301+0 + InfrastructureSystems ≥3.6.3

Unsatisfiable — 1 conflict:

Conflict 1: GDAL_jll and InfrastructureSystems
  • your compat leaves GDAL_jll 305.1300.301+0
  • GDAL_jll 305.1300.301+0 constrains HDF5 ≤0.12.5 (through HDF5_jll)
  • HDF5 ≤0.12.5 or absent constrains InfrastructureSystems ≤3.6.2 (through
    H5Zblosc)
  • your compat leaves InfrastructureSystems 3.6.3
  Fix it by any one of:
    1. relax your compat on GDAL_jll
       → allows: GDAL_jll 305.1300.200+0, HDF5 0.17.3, InfrastructureSystems
         3.6.3
    2. relax your compat on InfrastructureSystems
       → allows: GDAL_jll 305.1300.301+0, HDF5 0.12.5, InfrastructureSystems
         0.5.16
    3. drop requirement GDAL_jll
       → allows: HDF5 0.17.3, InfrastructureSystems 3.6.3
    4. drop requirement InfrastructureSystems
       → allows: GDAL_jll 305.1300.301+0

GDAL_jll ≥305.1300.301+0 + PowerSystems ≥5.12.3

Unsatisfiable — 1 conflict:

Conflict 1: GDAL_jll and PowerSystems
  • your compat leaves GDAL_jll 305.1300.301+0
  • GDAL_jll 305.1300.301+0 constrains PowerSystems ≤5.12.2 (through HDF5_jll,
    InfrastructureSystems and HDF5)
  • your compat leaves PowerSystems 5.12.3
  Fix it by any one of:
    1. relax your compat on GDAL_jll
       → allows: GDAL_jll 305.1300.200+0, PowerSystems 5.12.3
    2. relax your compat on PowerSystems
       → allows: GDAL_jll 305.1300.301+0, PowerSystems 0.14.0
    3. drop requirement GDAL_jll
       → allows: PowerSystems 5.12.3
    4. drop requirement PowerSystems
       → allows: GDAL_jll 305.1300.301+0

GDAL_jll ≥305.1300.301+0 + SimpleDirectMediaLayer ≥0.5.0

Unsatisfiable — 1 conflict:

Conflict 1: GDAL_jll and SimpleDirectMediaLayer
  • your compat leaves GDAL_jll 305.1300.301+0
  • GDAL_jll 305.1300.301+0 constrains SimpleDirectMediaLayer ≤0.4.0 (through
    Libtiff_jll and SDL2_image_jll)
  • your compat leaves SimpleDirectMediaLayer 0.5.0
  Fix it by any one of:
    1. relax your compat on GDAL_jll
       → allows: GDAL_jll 301.600.200+0, SimpleDirectMediaLayer 0.5.0
    2. relax your compat on SimpleDirectMediaLayer
       → allows: GDAL_jll 305.1300.301+0, SimpleDirectMediaLayer 0.1.1
    3. drop requirement GDAL_jll
       → allows: SimpleDirectMediaLayer 0.5.0
    4. drop requirement SimpleDirectMediaLayer
       → allows: GDAL_jll 305.1300.301+0

GalacticOptim ≥3.4.0 + Stipple ≥1.0.3

Unsatisfiable — 1 conflict:

Conflict 1: GalacticOptim and Stipple
  • your compat leaves GalacticOptim 3.4.0
  • GalacticOptim 3.4.0 constrains Stipple ≤1.0.2 (through Genie and
    LoggingExtras)
  • your compat leaves Stipple ≥1.0.3
  Fix it by any one of:
    1. relax your compat on GalacticOptim
       → allows: GalacticOptim 0.1.1, Stipple 1.0.4
    2. relax your compat on Stipple
       → allows: GalacticOptim 3.4.0, Stipple 0.25.16
    3. drop requirement GalacticOptim
       → allows: Stipple 1.0.4
    4. drop requirement Stipple
       → allows: GalacticOptim 3.4.0

GeoRegions ≥8.0.8 + Variography ≥0.22.6

Unsatisfiable — 1 conflict:

Conflict 1: GeoRegions and Variography
  • your compat leaves GeoRegions 8.0.8
  • GeoRegions 8.0.8 requires PrettyTables ≥3.4.7
  • PrettyTables ≥3.4.7 constrains Variography ≤0.22.5 (through GeoTables and
    Meshes)
  • your compat leaves Variography 0.22.6
  Fix it by any one of:
    1. relax your compat on GeoRegions
       → allows: GeoRegions 8.0.6, PrettyTables 2.4.0, Variography 0.22.6
    2. relax your compat on Variography
       → allows: GeoRegions 8.0.8, PrettyTables 3.4.8, Variography 0.14.5
    3. drop requirement GeoRegions
       → allows: PrettyTables 2.4.0, Variography 0.22.6
    4. drop requirement Variography
       → allows: GeoRegions 8.0.8, PrettyTables 3.4.8

Three-sided meets (4)

Where three bounds meet emptily but overlap pairwise, the chain cannot linearize and the sides print together under "incompatible constraints on P".

BSeries + GraphMatFun + Simpsons

Unsatisfiable — 1 conflict:

Conflict 1: BSeries, GraphMatFun and Simpsons
  • your compat leaves BSeries 0.1.72
  • incompatible constraints on Polynomials:
      — BSeries 0.1.72 requires Polynomials 2.0.25–3.2.13
      — GraphMatFun requires Polynomials 1.2.0–1.2.1, 3.2.0–3.2.13
      — Simpsons requires Polynomials 1.2.0–2.0.25
  Fix it by any one of:
    1. relax your compat on BSeries
       → allows: BSeries 0.1.16, GraphMatFun 1.1.0, Polynomials 1.2.1,
         Simpsons 0.1.1
    2. drop requirement BSeries
       → allows: GraphMatFun 1.1.0, Polynomials 1.2.1, Simpsons 0.1.1
    3. drop requirement GraphMatFun
       → allows: BSeries 0.1.72, Polynomials 2.0.25, Simpsons 0.1.1
    4. drop requirement Simpsons
       → allows: BSeries 0.1.72, GraphMatFun 1.1.0, Polynomials 3.2.13
  Blocked fixes:
    • relaxing your compat on GraphMatFun does not help.
    • relaxing your compat on Simpsons does not help.

Bridge + FastPolynomialRoots + GaloisFields

Unsatisfiable — 1 conflict:

Conflict 1: Bridge, FastPolynomialRoots and GaloisFields
  • your compat leaves GaloisFields 1.4.0
  • incompatible constraints on Polynomials:
      — Bridge requires Polynomials ≤2.0.25
      — FastPolynomialRoots requires Polynomials 0.7.0–1.2.1, ≥3.2.0
      — GaloisFields 1.4.0 requires Polynomials ≥2.0.0
  Fix it by any one of:
    1. relax your compat on GaloisFields
       → allows: Bridge 0.11.6, FastPolynomialRoots 1.0.3, GaloisFields 1.1.1,
         Polynomials 1.2.1
    2. drop requirement Bridge
       → allows: FastPolynomialRoots 1.0.3, GaloisFields 1.4.0, Polynomials
         4.1.2
    3. drop requirement FastPolynomialRoots
       → allows: Bridge 0.11.6, GaloisFields 1.4.0, Polynomials 2.0.25
    4. drop requirement GaloisFields
       → allows: Bridge 0.11.6, FastPolynomialRoots 1.0.3, Polynomials 1.2.1
  Blocked fixes:
    • relaxing your compat on Bridge does not help.
    • relaxing your compat on FastPolynomialRoots does not help.

BSeries + FastPolynomialRoots + Simpsons

Unsatisfiable — 1 conflict:

Conflict 1: BSeries, FastPolynomialRoots and Simpsons
  • your compat leaves BSeries 0.1.72
  • incompatible constraints on Polynomials:
      — BSeries 0.1.72 requires Polynomials 2.0.25–3.2.13
      — FastPolynomialRoots requires Polynomials 0.7.0–1.2.1, ≥3.2.0
      — Simpsons requires Polynomials 1.0.0–2.0.25
  Fix it by any one of:
    1. relax your compat on BSeries
       → allows: BSeries 0.1.16, FastPolynomialRoots 1.0.3, Polynomials 1.2.1,
         Simpsons 0.1.1
    2. drop requirement BSeries
       → allows: FastPolynomialRoots 1.0.3, Polynomials 1.2.1, Simpsons 0.1.1
    3. drop requirement FastPolynomialRoots
       → allows: BSeries 0.1.72, Polynomials 2.0.25, Simpsons 0.1.1
    4. drop requirement Simpsons
       → allows: BSeries 0.1.72, FastPolynomialRoots 1.0.3, Polynomials 3.2.13
  Blocked fixes:
    • relaxing your compat on FastPolynomialRoots does not help.
    • relaxing your compat on Simpsons does not help.

Bridge + FastPolynomialRoots + FaultDetectionTools

Unsatisfiable — 1 conflict:

Conflict 1: Bridge, FastPolynomialRoots and FaultDetectionTools
  • incompatible constraints on Polynomials:
      — Bridge requires Polynomials ≤2.0.25
      — FastPolynomialRoots requires Polynomials 0.7.0–1.2.1, ≥3.2.0
      — FaultDetectionTools requires Polynomials ≥2.0.0
  Fix it by any one of:
    1. drop requirement Bridge
       → allows: FastPolynomialRoots 1.0.3, FaultDetectionTools 1.4.0,
         Polynomials 4.1.2
    2. drop requirement FastPolynomialRoots
       → allows: Bridge 0.11.6, FaultDetectionTools 1.4.0, Polynomials 2.0.25
    3. drop requirement FaultDetectionTools
       → allows: Bridge 0.11.6, FastPolynomialRoots 1.0.3, Polynomials 1.2.1
  Blocked fixes:
    • relaxing your compat on Bridge does not help.
    • relaxing your compat on FastPolynomialRoots does not help.
    • relaxing your compat on FaultDetectionTools does not help.

Long dependency routes (coarsened lockstep families) (3)

Parallel version thresholds the argument never needs are merged by licensed joins; what survives is one entailed bound with the packages it passed through in parentheses.

OrdinaryDiffEqDifferentiation ≥3.10.0 + YAXArrays ≥0.7.7

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEqDifferentiation and YAXArrays
  • your compat leaves OrdinaryDiffEqDifferentiation ≥3.11.0
  • OrdinaryDiffEqDifferentiation ≥3.11.0 requires DiffEqBase ≥7.13.0
  • DiffEqBase ≥7.13.0 and OrdinaryDiffEqDifferentiation ≥3.11.0 together
    constrain YAXArrays ≤0.7.6 (through ADTypes, DiskArrayEngine, LinearSolve,
    OrdinaryDiffEqCore, SciMLBase and Optimization)
  • your compat leaves YAXArrays 0.7.7
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEqDifferentiation
       → allows: DiffEqBase 6.213.0, OrdinaryDiffEqDifferentiation 2.3.0,
         YAXArrays 0.7.7
    2. relax your compat on YAXArrays
       → allows: DiffEqBase 7.20.0, OrdinaryDiffEqDifferentiation 3.11.4,
         YAXArrays 0.6.1
    3. drop requirement OrdinaryDiffEqDifferentiation
       → allows: YAXArrays 0.7.7
    4. drop requirement YAXArrays
       → allows: DiffEqBase 7.20.0, OrdinaryDiffEqDifferentiation 3.11.4

OrdinaryDiffEqTsit5 ≥2.1.3 + YAXArrays ≥0.7.7

Unsatisfiable — 1 conflict:

Conflict 1: OrdinaryDiffEqTsit5 and YAXArrays
  • your compat leaves OrdinaryDiffEqTsit5 ≥2.1.3
  • OrdinaryDiffEqTsit5 ≥2.1.3 requires DiffEqBase ≥7.15.0
  • DiffEqBase ≥7.15.0 and OrdinaryDiffEqTsit5 ≥2.1.3 together constrain
    YAXArrays ≤0.7.6 (through DiskArrayEngine, OrdinaryDiffEqCore, SciMLBase,
    ADTypes and Optimization)
  • your compat leaves YAXArrays 0.7.7
  Fix it by any one of:
    1. relax your compat on OrdinaryDiffEqTsit5
       → allows: DiffEqBase 6.213.0, OrdinaryDiffEqTsit5 1.10.0, YAXArrays
         0.7.7
    2. relax your compat on YAXArrays
       → allows: DiffEqBase 7.20.0, OrdinaryDiffEqTsit5 2.1.4, YAXArrays 0.6.1
    3. drop requirement OrdinaryDiffEqTsit5
       → allows: YAXArrays 0.7.7
    4. drop requirement YAXArrays
       → allows: DiffEqBase 7.20.0, OrdinaryDiffEqTsit5 2.1.4

SDL2_jll ≥2.32.10+0 + TikzPictures ≥3.5.1

Unsatisfiable — 1 conflict:

Conflict 1: SDL2_jll and TikzPictures
  • your compat leaves SDL2_jll 2.32.10+0
  • SDL2_jll 2.32.10+0 constrains TikzPictures ≤3.5.0 (through
    alsa_plugins_jll, tectonic_jll, ICU_jll, PulseAudio_jll, BlueZ_jll and
    Libical_jll)
  • your compat leaves TikzPictures 3.5.1
  Fix it by any one of:
    1. relax your compat on SDL2_jll
       → allows: SDL2_jll 2.0.12+2, TikzPictures 3.5.1
    2. relax your compat on TikzPictures
       → allows: SDL2_jll 2.32.10+0, TikzPictures 3.4.2
    3. drop requirement SDL2_jll
       → allows: TikzPictures 3.5.1
    4. drop requirement TikzPictures
       → allows: SDL2_jll 2.32.10+0

Blocked fixes — the roads not taken (12)

After the menu, one solver-decided sentence per tempting action: whether it helps, and — grouped when two share a repair — what it would take.

ADNLPModels ≥0.8.13 + NLPModels ≥0.22.0

Unsatisfiable — 1 conflict:

Conflict 1: ADNLPModels
  • ADNLPModels requires NLPModels 0.14.0–0.21.12
  • your compat leaves NLPModels 0.22.0
  Fix it by any one of:
    1. relax your compat on NLPModels
       → allows: ADNLPModels 0.8.13, NLPModels 0.21.12
    2. drop requirement ADNLPModels
       → allows: NLPModels 0.22.0
  Blocked fixes:
    • relaxing your compat on ADNLPModels does not help.
    • dropping requirement NLPModels does not help.

AbInitioSoftwareBase ≥0.10.1 + GeoRegions ≥8.0.8

Unsatisfiable — 1 conflict:

Conflict 1: AbInitioSoftwareBase and GeoRegions
  • AbInitioSoftwareBase requires JSON ≤0.21.4
  • JSON ≤0.21.4 constrains GeoRegions ≤8.0.7
  • your compat leaves GeoRegions 8.0.8
  Fix it by any one of:
    1. relax your compat on GeoRegions
       → allows: AbInitioSoftwareBase 0.10.1, GeoRegions 8.0.7, JSON 0.21.4
    2. drop requirement AbInitioSoftwareBase
       → allows: GeoRegions 8.0.8, JSON 1.7.1
    3. drop requirement GeoRegions
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.

AbInitioSoftwareBase ≥0.10.1 + MolecularGraph ≥0.22.0

Unsatisfiable — 1 conflict:

Conflict 1: AbInitioSoftwareBase and MolecularGraph
  • AbInitioSoftwareBase requires JSON ≤0.21.4
  • JSON ≤0.21.4 constrains MolecularGraph ≤0.21.1
  • your compat leaves MolecularGraph 0.22.0
  Fix it by any one of:
    1. relax your compat on MolecularGraph
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4, MolecularGraph
         0.21.1
    2. drop requirement AbInitioSoftwareBase
       → allows: JSON 1.7.1, MolecularGraph 0.22.0
    3. drop requirement MolecularGraph
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.

AbInitioSoftwareBase ≥0.10.1 + SimilaritySearch ≥1.1.2

Unsatisfiable — 1 conflict:

Conflict 1: AbInitioSoftwareBase and SimilaritySearch
  • AbInitioSoftwareBase requires JSON 0.20.0–0.21.4
  • JSON 0.20.0–0.21.4 constrains SimilaritySearch ≤1.1.1
  • your compat leaves SimilaritySearch ≥1.1.2
  Fix it by any one of:
    1. relax your compat on SimilaritySearch
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4, SimilaritySearch
         1.0.0
    2. drop requirement AbInitioSoftwareBase
       → allows: JSON 1.7.1, SimilaritySearch 1.3.1
    3. drop requirement SimilaritySearch
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.

AbstractPlotting ≥0.18.3 + ApproxFunBase ≥0.9.36

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and ApproxFunBase
  • AbstractPlotting requires IntervalSets ≤0.5.4
  • IntervalSets ≤0.5.4 constrains ApproxFunBase ≤0.9.35
  • your compat leaves ApproxFunBase ≥0.9.36
  Fix it by any one of:
    1. relax your compat on ApproxFunBase
       → allows: AbstractPlotting 0.18.3, ApproxFunBase 0.9.24, IntervalSets
         0.5.4
    2. drop requirement AbstractPlotting
       → allows: ApproxFunBase 0.9.38, IntervalSets 0.7.14
    3. drop requirement ApproxFunBase
       → allows: AbstractPlotting 0.18.3, IntervalSets 0.5.4
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

AbstractPlotting ≥0.18.3 + BlackBoxOptim ≥0.6.12

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and BlackBoxOptim
  • AbstractPlotting constrains BlackBoxOptim ≤0.6.11 (through StatsBase)
  • your compat leaves BlackBoxOptim 0.6.12
  Fix it by any one of:
    1. relax your compat on BlackBoxOptim
       → allows: AbstractPlotting 0.18.3, BlackBoxOptim 0.6.5
    2. drop requirement AbstractPlotting
       → allows: BlackBoxOptim 0.6.12
    3. drop requirement BlackBoxOptim
       → allows: AbstractPlotting 0.18.3
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

AbstractPlotting ≥0.18.3 + CTBase ≥0.29.3

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and CTBase
  • CTBase requires DocStringExtensions ≥0.9.3
  • DocStringExtensions ≥0.9.3 constrains AbstractPlotting ≤0.18.2
  • your compat leaves AbstractPlotting 0.18.3
  Fix it by any one of:
    1. relax your compat on AbstractPlotting
       → allows: AbstractPlotting 0.9.8, CTBase 0.29.3, DocStringExtensions
         0.9.5
    2. drop requirement AbstractPlotting
       → allows: CTBase 0.29.3, DocStringExtensions 0.9.5
    3. drop requirement CTBase
       → allows: AbstractPlotting 0.18.3, DocStringExtensions 0.8.6
  Blocked fixes:
    • relaxing your compat on CTBase does not help.

AbstractPlotting ≥0.18.3 + Clapeyron ≥0.6.27

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and Clapeyron
  • AbstractPlotting constrains Clapeyron ≤0.6.26 (through Roots, StructArrays
    and Accessors)
  • your compat leaves Clapeyron 0.6.27
  Fix it by any one of:
    1. relax your compat on Clapeyron
       → allows: AbstractPlotting 0.18.3, Clapeyron 0.5.10
    2. drop requirement AbstractPlotting
       → allows: Clapeyron 0.6.27
    3. drop requirement Clapeyron
       → allows: AbstractPlotting 0.18.3
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

AbstractPlotting ≥0.18.3 + Colors ≥0.13.1

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting
  • AbstractPlotting requires Colors ≤0.12.11
  • your compat leaves Colors 0.13.1
  Fix it by any one of:
    1. relax your compat on Colors
       → allows: AbstractPlotting 0.18.3, Colors 0.12.11
    2. drop requirement AbstractPlotting
       → allows: Colors 0.13.1
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.
    • dropping requirement Colors does not help.

AbstractPlotting ≥0.18.3 + DataStructures ≥0.19.6

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting
  • AbstractPlotting requires DataStructures ≤0.18.22 (through FreeType,
    FreeTypeAbstraction, StatsBase and ColorVectorSpace)
  • your compat leaves DataStructures 0.19.6
  Fix it by any one of:
    1. relax your compat on DataStructures
       → allows: AbstractPlotting 0.18.3, DataStructures 0.18.22
    2. drop requirement AbstractPlotting
       → allows: DataStructures 0.19.6
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.
    • dropping requirement DataStructures does not help.

AbstractPlotting ≥0.18.3 + DiffEqNoiseProcess ≥5.36.0

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and DiffEqNoiseProcess
  • AbstractPlotting constrains Accessors ≤0.1.27 (through IntervalSets)
  • Accessors ≤0.1.27 or absent constrains DiffEqNoiseProcess ≤5.35.0 (through
    SciMLBase)
  • your compat leaves DiffEqNoiseProcess ≥5.36.0
  Fix it by any one of:
    1. relax your compat on DiffEqNoiseProcess
       → allows: AbstractPlotting 0.18.3, DiffEqNoiseProcess 5.32.0
    2. drop requirement AbstractPlotting
       → allows: Accessors 0.1.45, DiffEqNoiseProcess 5.36.2
    3. drop requirement DiffEqNoiseProcess
       → allows: AbstractPlotting 0.18.3
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

AbstractPlotting ≥0.18.3 + DomainSets ≥0.8.1

Unsatisfiable — 1 conflict:

Conflict 1: AbstractPlotting and DomainSets
  • AbstractPlotting requires IntervalSets ≤0.5.4
  • IntervalSets ≤0.5.4 constrains DomainSets ≤0.8.0
  • your compat leaves DomainSets 0.8.1
  Fix it by any one of:
    1. relax your compat on DomainSets
       → allows: AbstractPlotting 0.18.3, DomainSets 0.5.15, IntervalSets
         0.5.4
    2. drop requirement AbstractPlotting
       → allows: DomainSets 0.8.1, IntervalSets 0.7.14
    3. drop requirement DomainSets
       → allows: AbstractPlotting 0.18.3, IntervalSets 0.5.4
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

Three-requirement conflicts (8)

Three requirements: all-pairs, one-pair, and the rare three-sided (only-three) shapes.

ACSets + Parsers + ADNLPModels

Unsatisfiable — 1 conflict:

Conflict 1: ACSets
  • ACSets requires Parsers ≤2.8.7 (through JSON and JSON3)
  • your compat leaves Parsers 3.0.0
  Fix it by any one of:
    1. relax your compat on Parsers
       → allows: ACSets 0.2.29, Parsers 2.8.7
    2. drop requirement ACSets
       → allows: Parsers 3.0.0
  Blocked fixes:
    • relaxing your compat on ACSets does not help.
    • dropping requirement Parsers does not help.

BSeries + Bridge + FastPolynomialRoots

Unsatisfiable — 1 conflict:

Conflict 1: BSeries, Bridge and FastPolynomialRoots
  • your compat leaves BSeries 0.1.72
  • BSeries 0.1.72 and FastPolynomialRoots together leave no version of Bridge
    (through Polynomials)
  Fix it by any one of:
    1. relax your compat on BSeries
       → allows: BSeries 0.1.16, Bridge 0.11.6, FastPolynomialRoots 1.0.3
    2. drop requirement BSeries
       → allows: Bridge 0.11.6, FastPolynomialRoots 1.0.3
    3. drop requirement Bridge
       → allows: BSeries 0.1.72, FastPolynomialRoots 1.0.3
    4. drop requirement FastPolynomialRoots
       → allows: BSeries 0.1.72, Bridge 0.11.6
  Blocked fixes:
    • relaxing your compat on Bridge does not help.
    • relaxing your compat on FastPolynomialRoots does not help.

Graphviz_jll + HarfBuzz_jll × Bonito + Interact

Unsatisfiable — 1 conflict:

Conflict 1: Bonito and Interact
  • Interact constrains Bonito ≤5.1.1 (through CSSUtil, InteractBase,
    Knockout, Observables, JSExpr and WebIO)
  • your compat leaves Bonito 5.2.0
  Fix it by any one of:
    1. relax your compat on Bonito
       → allows: Bonito 4.2.0, Interact 0.10.5
    2. drop requirement Bonito
       → allows: Interact 0.10.5
    3. drop requirement Interact
       → allows: Bonito 5.2.0
  Blocked fixes:
    • relaxing your compat on Interact does not help.

GalacticOptim + SparseConnectivityTracer × Gridap + PlotlyJS

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: Gridap and PlotlyJS
  • PlotlyJS requires Blink
  • Blink constrains Gridap ≤0.20.8 (through JSExpr and JSON)
  • your compat leaves Gridap 0.20.9
  Fix it by any one of:
    1. relax your compat on Gridap
       → allows: Blink 0.12.9, Gridap 0.19.7, PlotlyJS 0.18.18
    2. drop requirement Gridap
       → allows: Blink 0.12.9, PlotlyJS 0.18.18
    3. drop requirement PlotlyJS
       → allows: Gridap 0.20.9
  Blocked fixes:
    • relaxing your compat on PlotlyJS does not help.

Conflict 2: GalacticOptim and SparseConnectivityTracer
  • GalacticOptim constrains SparseConnectivityTracer ≤1.0.2 (through
    DocStringExtensions)
  • your compat leaves SparseConnectivityTracer 1.2.3
  Fix it by any one of:
    1. relax your compat on SparseConnectivityTracer
       → allows: GalacticOptim 3.4.0, SparseConnectivityTracer 0.3.3
    2. drop requirement GalacticOptim
       → allows: SparseConnectivityTracer 1.2.3
    3. drop requirement SparseConnectivityTracer
       → allows: GalacticOptim 3.4.0
  Blocked fixes:
    • relaxing your compat on GalacticOptim does not help.

AstroTime + HTTP × Gridap + VegaLite

Unsatisfiable — 1 conflict:

Conflict 1: Gridap and VegaLite
  • VegaLite requires JSON ≤0.21.4
  • JSON ≤0.21.4 constrains Gridap ≤0.20.8
  • your compat leaves Gridap 0.20.9
  Fix it by any one of:
    1. relax your compat on Gridap
       → allows: Gridap 0.19.7, JSON 0.21.4, VegaLite 3.3.0
    2. drop requirement Gridap
       → allows: JSON 0.21.4, VegaLite 3.3.0
    3. drop requirement VegaLite
       → allows: Gridap 0.20.9, JSON 1.7.1
  Blocked fixes:
    • relaxing your compat on VegaLite does not help.

ImageSegmentation + MLDataUtils × Clarabel + GenericLinearAlgebra

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: Clarabel
  • your compat leaves Clarabel 0.11.1
  • Clarabel 0.11.1 requires GenericLinearAlgebra 0.3.0–0.3.19
  • your compat leaves GenericLinearAlgebra ≥0.4.0
  Fix it by any one of:
    1. relax your compat on Clarabel
       → allows: Clarabel 0.4.1, GenericLinearAlgebra 0.4.1
    2. relax your compat on GenericLinearAlgebra
       → allows: Clarabel 0.11.1, GenericLinearAlgebra 0.3.19
    3. drop requirement Clarabel
       → allows: GenericLinearAlgebra 0.4.1
  Blocked fixes:
    • dropping requirement GenericLinearAlgebra does not help.

Conflict 2: ImageSegmentation and MLDataUtils
  • MLDataUtils constrains ImageSegmentation ≤1.9.0 (through DataStructures,
    LearnBase and StatsBase)
  • your compat leaves ImageSegmentation 1.10.0
  Fix it by any one of:
    1. relax your compat on ImageSegmentation
       → allows: ImageSegmentation 1.9.0, MLDataUtils 0.5.4
    2. drop requirement ImageSegmentation
       → allows: MLDataUtils 0.5.4
    3. drop requirement MLDataUtils
       → allows: ImageSegmentation 1.10.0
  Blocked fixes:
    • relaxing your compat on MLDataUtils does not help.

IndexedTables + OrdinaryDiffEqTsit5 × HTTP + WordTokenizers

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: WordTokenizers
  • your compat leaves WordTokenizers 0.5.6
  • WordTokenizers 0.5.6 requires HTTP 0.8.5–1.11.0 (through DataDeps)
  • your compat leaves HTTP ≥2.6.5
  Fix it by any one of:
    1. relax your compat on HTTP
       → allows: HTTP 1.11.0, WordTokenizers 0.5.6
    2. relax your compat on WordTokenizers
       → allows: HTTP 2.6.7, WordTokenizers 0.5.4
    3. drop requirement WordTokenizers
       → allows: HTTP 2.6.7
  Blocked fixes:
    • dropping requirement HTTP does not help.

Conflict 2: IndexedTables and OrdinaryDiffEqTsit5
  • IndexedTables leaves no version of OrdinaryDiffEqTsit5 (through
    OnlineStats, OrdinaryDiffEqCore and Reexport)
  Fix it by any one of:
    1. drop requirement IndexedTables
       → allows: OrdinaryDiffEqTsit5 2.1.4
    2. drop requirement OrdinaryDiffEqTsit5
       → allows: IndexedTables 1.0.1
  Blocked fixes:
    • relaxing your compat on IndexedTables does not help.
    • relaxing your compat on OrdinaryDiffEqTsit5 does not help.

LearnBase + MLDataUtils × CategoricalDistributions + Variography

Unsatisfiable — 2 conflicts, each of which must be fixed:

Conflict 1: CategoricalDistributions and Variography
  • your compat leaves CategoricalDistributions 0.2.2
  • CategoricalDistributions 0.2.2 constrains DataScienceTraits ≥1.0.4
    (through CategoricalArrays)
  • DataScienceTraits ≥1.0.4 or absent constrains Variography ≤0.22.5 (through
    GeoTables and Meshes)
  • your compat leaves Variography 0.22.6
  Fix it by any one of:
    1. relax your compat on CategoricalDistributions
       → allows: CategoricalDistributions 0.1.15, DataScienceTraits 0.2.4,
         Variography 0.22.6
    2. relax your compat on Variography
       → allows: CategoricalDistributions 0.2.2, Variography 0.19.0
    3. drop requirement CategoricalDistributions
       → allows: DataScienceTraits 0.2.4, Variography 0.22.6
    4. drop requirement Variography
       → allows: CategoricalDistributions 0.2.2

Conflict 2: MLDataUtils
  • MLDataUtils requires LearnBase ≤0.3.0
  • your compat leaves LearnBase 0.6.1
  Fix it by any one of:
    1. relax your compat on LearnBase
       → allows: LearnBase 0.3.0, MLDataUtils 0.5.4
    2. drop requirement MLDataUtils
       → allows: LearnBase 0.6.1
  Blocked fixes:
    • relaxing your compat on MLDataUtils does not help.
    • dropping requirement LearnBase does not help.

Complete coverage — a residue of further minimal fixes (14)

When the cheapest fixes are not a clean product, the menus cover what they can and the rest print as complete minimal fixes — no vague disclosure.

ADNLPModels + NLPModels + TimerOutputs

Unsatisfiable — 2 conflicts:

Conflict 1: NLPModels
  • your compat leaves NLPModels 0.22.0
  • NLPModels 0.22.0 requires TimerOutputs 0.5.0–0.5.29 (through
    LinearOperators)
  • your compat leaves TimerOutputs ≥1.2.0
  Fix it by any one of:
    1. relax your compat on NLPModels
       → allows: NLPModels 0.9.1, TimerOutputs 1.2.1
    2. relax your compat on TimerOutputs
       → allows: NLPModels 0.22.0, TimerOutputs 0.5.29
    3. drop requirement NLPModels
       → allows: TimerOutputs 1.2.1
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

Conflict 2: ADNLPModels
  • ADNLPModels requires NLPModels 0.14.0–0.21.12
  • your compat leaves NLPModels 0.22.0
  One fix: drop requirement ADNLPModels
    → allows: NLPModels 0.9.1
  Blocked fixes:
    • relaxing your compat on ADNLPModels does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on NLPModels and relax your compat on TimerOutputs
     → allows: ADNLPModels 0.8.13, NLPModels 0.21.12, TimerOutputs 0.5.29

ADNLPModels + Knet + TimerOutputs

Unsatisfiable — 2 conflicts:

Conflict 1: ADNLPModels and Knet
  • Knet constrains ADNLPModels ≤0.8.12 (through CUDA and
    SparseMatrixColorings)
  • your compat leaves ADNLPModels 0.8.13
  Fix it by any one of:
    1. relax your compat on ADNLPModels
       → allows: ADNLPModels 0.8.12, Knet 1.4.10
    2. drop requirement ADNLPModels
       → allows: Knet 1.4.10
    3. drop requirement Knet
       → allows: ADNLPModels 0.8.13

Conflict 2: ADNLPModels
  • ADNLPModels requires LinearOperators ≥1.3.0 (through NLPModels)
  • LinearOperators ≥1.3.0 requires TimerOutputs ≤1.1.1
  • your compat leaves TimerOutputs ≥1.2.0
  One fix: relax your compat on TimerOutputs
    → allows: ADNLPModels 0.8.12, LinearOperators 2.7.0, TimerOutputs 0.5.29
  Blocked fixes:
    • dropping requirement TimerOutputs does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on Knet and drop requirement ADNLPModels
     → allows: Knet 1.1.0, TimerOutputs 1.2.1
  2. drop requirement ADNLPModels and drop requirement Knet
     → allows: TimerOutputs 1.2.1

AbInitioSoftwareBase + DistributedFactorGraphs + OrderedCollections

Unsatisfiable — 2 conflicts:

Conflict 1: AbInitioSoftwareBase and DistributedFactorGraphs
  • AbInitioSoftwareBase requires JSON ≤0.21.4
  • JSON ≤0.21.4 constrains DistributedFactorGraphs ≤0.28.1
  • your compat leaves DistributedFactorGraphs 0.29.0
  Fix it by any one of:
    1. relax your compat on DistributedFactorGraphs
       → allows: AbInitioSoftwareBase 0.10.1, DistributedFactorGraphs 0.28.1,
         JSON 0.21.4
    2. drop requirement AbInitioSoftwareBase
       → allows: DistributedFactorGraphs 0.29.0, JSON 1.5.0
    3. drop requirement DistributedFactorGraphs
       → allows: AbInitioSoftwareBase 0.10.1, JSON 0.21.4
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.

Conflict 2: AbInitioSoftwareBase
  • AbInitioSoftwareBase requires OrderedCollections 1.3.0–1.8.2 (through
    Configurations)
  • your compat leaves OrderedCollections 2.0.1
  One fix: relax your compat on OrderedCollections
    → allows: AbInitioSoftwareBase 0.10.1, OrderedCollections 1.8.2
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.
    • dropping requirement OrderedCollections does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on DistributedFactorGraphs and drop requirement
     AbInitioSoftwareBase
     → allows: DistributedFactorGraphs 0.17.2, JSON 0.21.4, OrderedCollections
       2.0.1
  2. drop requirement AbInitioSoftwareBase and drop requirement
     DistributedFactorGraphs
     → allows: OrderedCollections 2.0.1

GenomicFeatures + SymbolicUtils × NLsolve + YAXArrays

Unsatisfiable — 2 conflicts:

Conflict 1: NLsolve and YAXArrays
  • your compat leaves NLsolve 5.0.1
  • NLsolve 5.0.1 constrains YAXArrays ≤0.7.6 (through LineSearches,
    NLSolversBase and Optim)
  • your compat leaves YAXArrays 0.7.7
  Fix it by any one of:
    1. relax your compat on NLsolve
       → allows: NLsolve 4.5.1, YAXArrays 0.7.7
    2. relax your compat on YAXArrays
       → allows: NLsolve 5.0.1, YAXArrays 0.3.0
    3. drop requirement NLsolve
       → allows: YAXArrays 0.7.7
    4. drop requirement YAXArrays
       → allows: NLsolve 5.0.1

Conflict 2: GenomicFeatures and SymbolicUtils
  • GenomicFeatures constrains SymbolicUtils ≤4.44.1 (through DataStructures)
  • your compat leaves SymbolicUtils ≥4.45.0
  One fix: relax your compat on SymbolicUtils
    → allows: GenomicFeatures 3.0.0, SymbolicUtils 3.32.0
  Blocked fixes:
    • relaxing your compat on GenomicFeatures does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on NLsolve and drop requirement SymbolicUtils
     → allows: GenomicFeatures 3.0.0, NLsolve 4.5.1, YAXArrays 0.7.7
  2. relax your compat on YAXArrays and drop requirement SymbolicUtils
     → allows: GenomicFeatures 3.0.0, NLsolve 5.0.1, YAXArrays 0.3.0
  3. drop requirement GenomicFeatures and drop requirement YAXArrays
     → allows: NLsolve 5.0.1, SymbolicUtils 4.46.2
  4. drop requirement NLsolve and drop requirement SymbolicUtils
     → allows: GenomicFeatures 3.0.0, YAXArrays 0.7.7
  5. drop requirement SymbolicUtils and drop requirement YAXArrays
     → allows: GenomicFeatures 3.0.0, NLsolve 5.0.1

GalacticOptim + ITensors × AbstractPlotting + SteadyStateDiffEq

Unsatisfiable — 2 conflicts:

Conflict 1: AbstractPlotting and ITensors
  • AbstractPlotting constrains ITensors ≤0.9.29 (through DocStringExtensions)
  • your compat leaves ITensors 0.9.30
  One fix: relax your compat on ITensors
    → allows: AbstractPlotting 0.18.3, ITensors 0.3.36
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

Conflict 2: AbstractPlotting and SteadyStateDiffEq
  • AbstractPlotting constrains SteadyStateDiffEq ≤2.14.0 (through DiffEqBase,
    NonlinearSolveBase, StaticArrays and DifferentiationInterface)
  • your compat leaves SteadyStateDiffEq ≥2.15.0
  Fix it by any one of:
    1. relax your compat on SteadyStateDiffEq
       → allows: AbstractPlotting 0.18.3, SteadyStateDiffEq 1.12.0
    2. drop requirement SteadyStateDiffEq
       → allows: AbstractPlotting 0.18.3
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on SteadyStateDiffEq and drop requirement ITensors
     → allows: AbstractPlotting 0.18.3, SteadyStateDiffEq 1.12.0
  2. drop requirement AbstractPlotting and drop requirement GalacticOptim
     → allows: ITensors 0.9.30, SteadyStateDiffEq 2.16.0
  3. drop requirement ITensors and drop requirement SteadyStateDiffEq
     → allows: AbstractPlotting 0.18.3

Metis + ModelingToolkitBase × Knet + Optimization

Unsatisfiable — 2 conflicts:

Conflict 1: Knet and Optimization
  • Knet constrains Optimization ≤5.7.0 (through AutoGrad, CUDA, SciMLBase and
    Adapt)
  • your compat leaves Optimization ≥5.7.1
  Fix it by any one of:
    1. relax your compat on Optimization
       → allows: Knet 1.4.10, Optimization 3.25.1
    2. drop requirement Knet
       → allows: Optimization 5.9.0
    3. drop requirement Optimization
       → allows: Knet 1.4.10
  Blocked fixes:
    • relaxing your compat on Knet does not help.

Conflict 2: Knet and ModelingToolkitBase
  • Knet leaves no version of ModelingToolkitBase (through AutoGrad, CUDA and
    SpecialFunctions)
  One fix: drop requirement ModelingToolkitBase
    → allows: Knet 1.4.10
  Blocked fixes:
    • relaxing your compat on Knet does not help.
    • relaxing your compat on ModelingToolkitBase does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. drop requirement Knet and drop requirement Metis
     → allows: ModelingToolkitBase 1.68.2, Optimization 5.9.0

BloqadeExpr + SciMLSensitivity × AbInitioSoftwareBase + GridapDistributed

Unsatisfiable — 2 conflicts:

Conflict 1: AbInitioSoftwareBase and GridapDistributed
  • AbInitioSoftwareBase constrains GridapDistributed ≤0.4.16 (through Gridap
    and JSON)
  • your compat leaves GridapDistributed 0.4.17
  Fix it by any one of:
    1. relax your compat on GridapDistributed
       → allows: AbInitioSoftwareBase 0.10.1, GridapDistributed 0.4.10
    2. drop requirement AbInitioSoftwareBase
       → allows: GridapDistributed 0.4.17
    3. drop requirement GridapDistributed
       → allows: AbInitioSoftwareBase 0.10.1
  Blocked fixes:
    • relaxing your compat on AbInitioSoftwareBase does not help.

Conflict 2: BloqadeExpr and SciMLSensitivity
  • BloqadeExpr constrains SciMLSensitivity ≤7.118.0 (through ForwardDiff)
  • your compat leaves SciMLSensitivity ≥7.118.1
  One fix: relax your compat on SciMLSensitivity
    → allows: BloqadeExpr 0.2.3, SciMLSensitivity 7.96.0
  Blocked fixes:
    • relaxing your compat on BloqadeExpr does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on GridapDistributed and drop requirement
     SciMLSensitivity
     → allows: AbInitioSoftwareBase 0.10.1, BloqadeExpr 0.2.3,
       GridapDistributed 0.4.10
  2. drop requirement AbInitioSoftwareBase and drop requirement
     SciMLSensitivity
     → allows: BloqadeExpr 0.2.3, GridapDistributed 0.4.17
  3. drop requirement BloqadeExpr and drop requirement GridapDistributed
     → allows: AbInitioSoftwareBase 0.10.1, SciMLSensitivity 7.119.2
  4. drop requirement GridapDistributed and drop requirement SciMLSensitivity
     → allows: AbInitioSoftwareBase 0.10.1, BloqadeExpr 0.2.3

GeoRegions + Mimi × AbstractPlotting + DomainSets

Unsatisfiable — 2 conflicts:

Conflict 1: AbstractPlotting and DomainSets
  • AbstractPlotting requires IntervalSets ≤0.5.4
  • IntervalSets ≤0.5.4 constrains DomainSets ≤0.8.0
  • your compat leaves DomainSets 0.8.1
  Fix it by any one of:
    1. relax your compat on DomainSets
       → allows: AbstractPlotting 0.18.3, DomainSets 0.5.15, IntervalSets
         0.5.4
    2. drop requirement AbstractPlotting
       → allows: DomainSets 0.8.1, IntervalSets 0.7.14
    3. drop requirement DomainSets
       → allows: AbstractPlotting 0.18.3, IntervalSets 0.5.4
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

Conflict 2: AbstractPlotting and GeoRegions
  • AbstractPlotting constrains GeoRegions ≤8.0.7 (through GeometryBasics)
  • your compat leaves GeoRegions 8.0.8
  One fix: relax your compat on GeoRegions
    → allows: AbstractPlotting 0.18.3, GeoRegions 6.0.3
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on DomainSets and drop requirement GeoRegions
     → allows: AbstractPlotting 0.18.3, DomainSets 0.5.15, IntervalSets 0.5.4
  2. drop requirement AbstractPlotting and drop requirement GeoRegions
     → allows: DomainSets 0.8.1, IntervalSets 0.7.14
  3. drop requirement AbstractPlotting and drop requirement Mimi
     → allows: DomainSets 0.8.1, GeoRegions 8.0.8, IntervalSets 0.7.14
  4. drop requirement DomainSets and drop requirement GeoRegions
     → allows: AbstractPlotting 0.18.3, IntervalSets 0.5.4

GalacticOptim + SciMLLogging × GridapDistributed + ModelingToolkitBase

Unsatisfiable — 2 conflicts:

Conflict 1: GalacticOptim and ModelingToolkitBase
  • GalacticOptim leaves no version of ModelingToolkitBase (through
    BipartiteGraphs, DocStringExtensions, FillArrays, ReadOnlyDicts and
    Zygote)
  One fix: drop requirement GalacticOptim
    → allows: ModelingToolkitBase 1.68.2
  Blocked fixes:
    • relaxing your compat on GalacticOptim does not help.
    • relaxing your compat on ModelingToolkitBase would not help unless you
      also relaxed your compat on SciMLLogging and dropped requirement
      GalacticOptim.

Conflict 2: GridapDistributed and ModelingToolkitBase
  • GridapDistributed constrains ModelingToolkitBase ≤1.67.0 (through
    FillArrays)
  • your compat leaves ModelingToolkitBase ≥1.68.0
  Fix it by any one of:
    1. drop requirement GridapDistributed
       → allows: ModelingToolkitBase 1.68.2
    2. drop requirement ModelingToolkitBase
       → allows: GridapDistributed 0.4.17
  Blocked fixes:
    • relaxing your compat on GridapDistributed does not help.
    • relaxing your compat on ModelingToolkitBase would not help unless you
      also relaxed your compat on SciMLLogging and dropped requirement
      GalacticOptim.

If none of the fixes above suits, the remaining minimal fixes are:
  1. drop requirement ModelingToolkitBase and drop requirement SciMLLogging
     → allows: GalacticOptim 3.4.0, GridapDistributed 0.4.17

CImGui + GalacticOptim × ImageSegmentation + ScikitLearn

Unsatisfiable — 2 conflicts:

Conflict 1: CImGui and GalacticOptim
  • your compat leaves CImGui 9.0.0
  • CImGui 9.0.0 requires DocStringExtensions 0.9.5
  • DocStringExtensions 0.9.5 constrains GalacticOptim ≤3.3.1
  • your compat leaves GalacticOptim 3.4.0
  Fix it by any one of:
    1. relax your compat on CImGui
       → allows: CImGui 2.3.0, DocStringExtensions 0.8.6, GalacticOptim 3.4.0
    2. relax your compat on GalacticOptim
       → allows: CImGui 9.0.0, DocStringExtensions 0.9.5, GalacticOptim 0.4.6
    3. drop requirement CImGui
       → allows: DocStringExtensions 0.8.6, GalacticOptim 3.4.0
    4. drop requirement GalacticOptim
       → allows: CImGui 9.0.0, DocStringExtensions 0.9.5

Conflict 2: ImageSegmentation and ScikitLearn
  • ScikitLearn constrains ImageSegmentation ≤1.9.0 (through DataStructures
    and StatsBase)
  • your compat leaves ImageSegmentation 1.10.0
  One fix: relax your compat on ImageSegmentation
    → allows: ImageSegmentation 1.9.0, ScikitLearn 0.7.0
  Blocked fixes:
    • relaxing your compat on ScikitLearn does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CImGui and drop requirement ImageSegmentation
     → allows: CImGui 2.3.0, DocStringExtensions 0.8.6, GalacticOptim 3.4.0,
       ScikitLearn 0.7.0
  2. relax your compat on CImGui and drop requirement ScikitLearn
     → allows: CImGui 2.3.0, DocStringExtensions 0.8.6, GalacticOptim 3.4.0,
       ImageSegmentation 1.10.0
  3. relax your compat on GalacticOptim and drop requirement ImageSegmentation
     → allows: CImGui 9.0.0, DocStringExtensions 0.9.5, GalacticOptim 0.4.6,
       ScikitLearn 0.7.0
  4. drop requirement CImGui and drop requirement ImageSegmentation
     → allows: DocStringExtensions 0.8.6, GalacticOptim 3.4.0, ScikitLearn
       0.7.0
  5. drop requirement CImGui and drop requirement ScikitLearn
     → allows: DocStringExtensions 0.8.6, GalacticOptim 3.4.0,
       ImageSegmentation 1.10.0
  6. drop requirement GalacticOptim and drop requirement ImageSegmentation
     → allows: CImGui 9.0.0, DocStringExtensions 0.9.5, ScikitLearn 0.7.0
  7. drop requirement GalacticOptim and drop requirement ScikitLearn
     → allows: CImGui 9.0.0, DocStringExtensions 0.9.5, ImageSegmentation
       1.10.0

Knet + Yao × AbstractPlotting + ArchGDAL

Unsatisfiable — 2 conflicts:

Conflict 1: AbstractPlotting and ArchGDAL
  • your compat leaves AbstractPlotting 0.18.3
  • AbstractPlotting 0.18.3 constrains GeoInterface ≤1.4.1 (through
    GeometryBasics)
  • GeoInterface ≤1.4.1 or absent constrains ArchGDAL ≤0.10.11
  • your compat leaves ArchGDAL 0.10.12
  Fix it by any one of:
    1. relax your compat on AbstractPlotting
       → allows: AbstractPlotting 0.9.27, ArchGDAL 0.10.12, GeoInterface 1.6.2
    2. relax your compat on ArchGDAL
       → allows: AbstractPlotting 0.18.3, ArchGDAL 0.10.2, GeoInterface 1.4.1
    3. drop requirement AbstractPlotting
       → allows: ArchGDAL 0.10.12, GeoInterface 1.6.2
    4. drop requirement ArchGDAL
       → allows: AbstractPlotting 0.18.3

Conflict 2: AbstractPlotting and Yao
  • AbstractPlotting constrains Yao ≤0.9.2 (through StaticArrays,
    YaoArrayRegister, YaoBlocks and YaoPlots)
  • your compat leaves Yao 0.9.3
  One fix: relax your compat on Yao
    → allows: AbstractPlotting 0.9.27, Yao 0.6.3

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on AbstractPlotting and drop requirement Yao
     → allows: AbstractPlotting 0.9.27, ArchGDAL 0.10.12, GeoInterface 1.6.2
  2. relax your compat on ArchGDAL and drop requirement Yao
     → allows: AbstractPlotting 0.18.3, ArchGDAL 0.10.2, GeoInterface 1.4.1
  3. relax your compat on Knet and drop requirement AbstractPlotting
     → allows: ArchGDAL 0.10.12, GeoInterface 1.6.2, Yao 0.9.3
  4. drop requirement AbstractPlotting and drop requirement Knet
     → allows: ArchGDAL 0.10.12, GeoInterface 1.6.2, Yao 0.9.3
  5. drop requirement AbstractPlotting and drop requirement Yao
     → allows: ArchGDAL 0.10.12, GeoInterface 1.6.2
  6. drop requirement ArchGDAL and drop requirement Yao
     → allows: AbstractPlotting 0.18.3

ScikitLearn + SymbolicUtils × LogExpFunctions + MCMCChains

Unsatisfiable — 2 conflicts:

Conflict 1: MCMCChains
  • your compat leaves MCMCChains 7.7.0
  • MCMCChains 7.7.0 requires LogExpFunctions 0.3.2–0.3.29 (through
    Distributions, MCMCDiagnosticTools and StatsFuns)
  • your compat leaves LogExpFunctions 1.0.1
  One fix: relax your compat on LogExpFunctions
    → allows: LogExpFunctions 0.3.29, MCMCChains 7.7.0
  Blocked fixes:
    • dropping requirement LogExpFunctions does not help.

Conflict 2: ScikitLearn and SymbolicUtils
  • ScikitLearn constrains SymbolicUtils ≤4.44.1 (through DataStructures,
    Graphs and StatsBase)
  • your compat leaves SymbolicUtils ≥4.45.0
  Fix it by any one of:
    1. relax your compat on SymbolicUtils
       → allows: ScikitLearn 0.7.0, SymbolicUtils 3.32.0
    2. drop requirement ScikitLearn
       → allows: SymbolicUtils 4.46.2
    3. drop requirement SymbolicUtils
       → allows: ScikitLearn 0.7.0
  Blocked fixes:
    • relaxing your compat on ScikitLearn does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on MCMCChains and relax your compat on SymbolicUtils
     → allows: LogExpFunctions 1.0.1, MCMCChains 5.7.1, ScikitLearn 0.7.0,
       SymbolicUtils 3.32.0
  2. relax your compat on MCMCChains and drop requirement SymbolicUtils
     → allows: LogExpFunctions 1.0.1, MCMCChains 5.7.1, ScikitLearn 0.7.0
  3. relax your compat on SymbolicUtils and drop requirement MCMCChains
     → allows: LogExpFunctions 1.0.1, ScikitLearn 0.7.0, SymbolicUtils 3.32.0
  4. drop requirement MCMCChains and drop requirement ScikitLearn
     → allows: LogExpFunctions 1.0.1, SymbolicUtils 4.46.2
  5. drop requirement MCMCChains and drop requirement SymbolicUtils
     → allows: LogExpFunctions 1.0.1, ScikitLearn 0.7.0

CitableCorpus + TestSetExtensions × OptimizationOptimJL + PowerModels

Unsatisfiable — 2 conflicts:

Conflict 1: OptimizationOptimJL and PowerModels
  • PowerModels constrains OptimizationOptimJL ≤0.4.18 (through
    InfrastructureModels, NLsolve, Optim, LineSearches and NLSolversBase)
  • your compat leaves OptimizationOptimJL ≥0.4.19
  Fix it by any one of:
    1. relax your compat on OptimizationOptimJL
       → allows: OptimizationOptimJL 0.4.8, PowerModels 0.21.6
    2. drop requirement OptimizationOptimJL
       → allows: PowerModels 0.21.6
    3. drop requirement PowerModels
       → allows: OptimizationOptimJL 0.4.20
  Blocked fixes:
    • relaxing your compat on PowerModels does not help.

Conflict 2: CitableCorpus
  • your compat leaves CitableCorpus 0.13.5
  • CitableCorpus 0.13.5 requires TestSetExtensions 2.0.0 (through
    CitableBase, CitableText and DocStringExtensions)
  • your compat leaves TestSetExtensions 4.0.3
  One fix: relax your compat on TestSetExtensions
    → allows: CitableCorpus 0.13.5, TestSetExtensions 2.0.0
  Blocked fixes:
    • dropping requirement TestSetExtensions does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on CitableCorpus and drop requirement PowerModels
     → allows: CitableCorpus 0.13.3, OptimizationOptimJL 0.4.20,
       TestSetExtensions 4.0.3
  2. relax your compat on OptimizationOptimJL and drop requirement
     CitableCorpus
     → allows: OptimizationOptimJL 0.4.8, PowerModels 0.21.6,
       TestSetExtensions 4.0.3
  3. drop requirement CitableCorpus and drop requirement OptimizationOptimJL
     → allows: PowerModels 0.21.6, TestSetExtensions 4.0.3
  4. drop requirement CitableCorpus and drop requirement PowerModels
     → allows: OptimizationOptimJL 0.4.20, TestSetExtensions 4.0.3

Costlier fixes also exist.

AbstractPlotting + Colors × GalacticOptim + ModelingToolkit

Unsatisfiable — 2 conflicts:

Conflict 1: GalacticOptim and ModelingToolkit
  • your compat leaves ModelingToolkit ≥11.39.1
  • ModelingToolkit ≥11.39.1 requires DiffEqBase ≥7.5.0 (through
    ModelingToolkitBase)
  • GalacticOptim and ModelingToolkit ≥11.39.1 together require DiffEqBase
    6.44.0–6.218.0 (through BipartiteGraphs, DocStringExtensions,
    ModelingToolkitBase and ReadOnlyDicts)
  Fix it by any one of:
    1. relax your compat on ModelingToolkit
       → allows: DiffEqBase 6.108.0, GalacticOptim 3.4.0, ModelingToolkit
         8.36.0
    2. drop requirement GalacticOptim
       → allows: DiffEqBase 7.20.0, ModelingToolkit 11.40.0
    3. drop requirement ModelingToolkit
       → allows: GalacticOptim 3.4.0
  Blocked fixes:
    • relaxing your compat on GalacticOptim does not help.

Conflict 2: AbstractPlotting
  • AbstractPlotting requires Colors ≤0.12.11
  • your compat leaves Colors 0.13.1
  One fix: drop requirement AbstractPlotting
    → allows: Colors 0.13.1
  Blocked fixes:
    • relaxing your compat on AbstractPlotting does not help.
    • dropping requirement Colors does not help.

If none of the fixes above suits, the remaining minimal fixes are:
  1. relax your compat on Colors and relax your compat on ModelingToolkit
     → allows: AbstractPlotting 0.18.3, Colors 0.12.11, DiffEqBase 6.108.0,
       GalacticOptim 3.4.0, ModelingToolkit 8.36.0
  2. relax your compat on Colors and drop requirement ModelingToolkit
     → allows: AbstractPlotting 0.18.3, Colors 0.12.11, GalacticOptim 3.4.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment