Dependency Issues :((

[chelseas]

I am trying to setup a new environment with the following packages:

[deps]
Expr2MIP = "887c0808-092e-11ec-0748-6b4cb262b8f1"
Gurobi = "2e9cd046-0924-5485-92f1-d5272153d98b"
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
NeuralVerification = "146f25fa-00e7-11e9-3ae5-fdbac6e12fa7"
Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
PyCall = "438e738f-606a-5dbb-bf0a-cddfbfd45ab0"
SCS = "c946c3f1-0d1f-5ce8-9dea-7daa1f7e2d13"
SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

[compat]
SCS = ">= 1.0"

(Expr2MIP is a personal package which depends on:

[deps]
GLPK = "60bf3e95-4087-53dc-ae20-288a0d20c6a6"
Gurobi = "2e9cd046-0924-5485-92f1-d5272153d98b"
IntervalArithmetic = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
NeuralVerification = "146f25fa-00e7-11e9-3ae5-fdbac6e12fa7"
OVERT = "07e67fc4-eb77-11eb-38c2-1307cbb1fbf4"
SymEngine = "123dc426-2d89-5057-bbad-38513e3affd8"

)
And neuralverification.jl is: https://github.com/sisl/NeuralVerification.jl

And I get this error after trying to update SCS:

(verification) pkg> status SCS
      Status `~/verification/Project.toml`
  [c946c3f1] SCS v0.7.1

(verification) pkg> up SCS
    Updating registry at `~/.julia/registries/General`
ERROR: Unsatisfiable requirements detected for package SCS [c946c3f1]:
 SCS [c946c3f1] log:
 ├─possible versions are: 0.4.0-1.1.1 or uninstalled
 ├─restricted to versions * by NeuralVerification [146f25fa], leaving only versions 0.4.0-1.1.1
 │ └─NeuralVerification [146f25fa] log:
 │   ├─possible versions are: 0.1.0 or uninstalled
 │   └─NeuralVerification [146f25fa] is fixed to version 0.1.0
 ├─restricted to versions 1.0.0-* by an explicit requirement, leaving only versions 1.0.0-1.1.1
 └─restricted by compatibility requirements with MathOptInterface [b8f27783] to versions: 0.5.1-0.7.1 or uninstalled — no versions left
   └─MathOptInterface [b8f27783] log:
     ├─possible versions are: 0.5.0-1.1.2 or uninstalled
     └─restricted to versions 0.9.22 by an explicit requirement, leaving only versions 0.9.22

(verification) pkg> dev MathOptInterface
     Cloning git-repo `https://github.com/jump-dev/MathOptInterface.jl.git`
   Resolving package versions...
ERROR: Unsatisfiable requirements detected for package LinQuadOptInterface [f8899e07]:
 LinQuadOptInterface [f8899e07] log:
 ├─possible versions are: 0.3.0-0.6.0 or uninstalled
 ├─restricted by compatibility requirements with MathOptInterface [b8f27783] to versions: uninstalled
 │ └─MathOptInterface [b8f27783] log:
 │   ├─possible versions are: 1.1.2 or uninstalled
 │   └─MathOptInterface [b8f27783] is fixed to version 1.1.2
 └─restricted by compatibility requirements with GLPK [60bf3e95] to versions: 0.3.0-0.6.0 — no versions left
   └─GLPK [60bf3e95] log:
     ├─possible versions are: 0.6.1-1.0.1 or uninstalled
     ├─restricted to versions * by NeuralVerification [146f25fa], leaving only versions 0.6.1-1.0.1
     │ └─NeuralVerification [146f25fa] log:
     │   ├─possible versions are: 0.1.0 or uninstalled
     │   └─NeuralVerification [146f25fa] is fixed to version 0.1.0
     ├─restricted by compatibility requirements with GLPKMathProgInterface [3c7084bd] to versions: 0.6.1-0.13.0
     │ └─GLPKMathProgInterface [3c7084bd] log:
     │   ├─possible versions are: 0.4.1-0.5.0 or uninstalled
     │   └─restricted to versions * by NeuralVerification [146f25fa], leaving only versions 0.4.1-0.5.0
     │     └─NeuralVerification [146f25fa] log: see above
     └─restricted by compatibility requirements with MathOptInterface [b8f27783] to versions: [0.6.1-0.10.0, 1.0.0-1.0.1] or uninstalled, leaving only versions: 0.6.1-0.10.0
       └─MathOptInterface [b8f27783] log: see above

after posting this issue:
jump-dev/SCS.jl#254

Any help? I just deleted my whole .julia folder in attempt to escape this dependency issue (thought I had corrupted my registry) but it did not go away :((

[odow]

I'll reply at jump-dev/SCS.jl#254 since this isn't related to MathOptInterface.

[chelseas]

But it seems like MathOptIngerface is pinning the SCS version at an incompatible version? Get Outlook for Android<https://aka.ms/AAb9ysg>

…

________________________________ From: Oscar Dowson ***@***.***> Sent: Tuesday, April 12, 2022 11:53:46 PM To: jump-dev/MathOptInterface.jl ***@***.***> Cc: Chelsea Rose Sidrane ***@***.***>; Author ***@***.***> Subject: Re: [jump-dev/MathOptInterface.jl] Dependency Issues :(( (Issue #1802) I'll reply at jump-dev/SCS.jl#254<jump-dev/SCS.jl#254> since this isn't related to MathOptInterface. — Reply to this email directly, view it on GitHub<#1802 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ADRQXSXBKMQ7PJHVPFQQZMLVEZVPVANCNFSM5TJR332Q>. You are receiving this because you authored the thread.Message ID: ***@***.***>

[odow]

No, your problem is NeuralVerification which is trying to install old versions of MathOptInterface and JuMP, but it doesn't specify enough compat bounds for the resolver to work correctly.