MiniZinc doesn’t update from v0.2.1 to the latest, v0.3.11. Is v0.3.11 compiled with Google OR-Tools, so that CP-SAT may be used as a solver?
(@v1.10) pkg> status
Status `~/.julia/environments/v1.10/Project.toml`
[07493b3f] Alpine v0.5.6
[7c4d4715] AmplNLWriter v1.2.1
[6f275bd8] BLISBLAS v0.1.1
[227a2e2d] COPT v1.1.18
[bb8be931] EAGO v0.8.1
[7a1cc6ca] FFTW v1.8.0
[87dc4568] HiGHS v1.9.1
⌅ [d1acc4aa] IntervalArithmetic v0.20.9
⌃ [b6b21f68] Ipopt v1.6.3
[4076af6c] JuMP v1.22.2
[2ddba703] Juniper v0.9.2
[19f71287] MAiNGO v0.2.2
[33e6dc65] MKL v0.7.0
⌃ [a7f392d2] MiniZinc v0.2.1
[82193955] SCIP v0.11.14
⌃ [29cba6d7] Bonmin_jll v100.800.801+0
[f09e9e23] Couenne_jll v0.500.801+0
⌅ [9cc047cb] Ipopt_jll v300.1400.400+0
[17f450c3] LAPACK32_jll v3.12.0+0
[c1ab834c] SHOT_jll v100.100.0+0
⌃ [319450e9] SPRAL_jll v2024.1.18+0
[e47b3055] blis32_jll v1.0.0+0
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated`
(@v1.10) pkg> update MiniZinc
Updating registry at `~/.julia/registries/General.toml`
No Changes to `~/.julia/environments/v1.10/Project.toml`
No Changes to `~/.julia/environments/v1.10/Manifest.toml`
I installed all your packages, and I have MiniZinc v0.3.11:
(tmp) pkg> st
Status `~/repos/tmp/Project.toml`
[07493b3f] Alpine v0.5.6
[7c4d4715] AmplNLWriter v1.2.1
[6f275bd8] BLISBLAS v0.1.1
[227a2e2d] COPT v1.1.18
[bb8be931] EAGO v0.8.1
[7a1cc6ca] FFTW v1.8.0
[87dc4568] HiGHS v1.9.1
⌅ [d1acc4aa] IntervalArithmetic v0.20.9
[b6b21f68] Ipopt v1.6.4
[4076af6c] JuMP v1.22.2
[2ddba703] Juniper v0.9.2
[19f71287] MAiNGO v0.2.2
[33e6dc65] MKL v0.7.0
[a7f392d2] MiniZinc v0.3.11
⌃ [82193955] SCIP v0.11.6
[29cba6d7] Bonmin_jll v100.800.901+0
[f09e9e23] Couenne_jll v0.500.801+0
[9cc047cb] Ipopt_jll v300.1400.1600+0
[17f450c3] LAPACK32_jll v3.12.0+0
[c1ab834c] SHOT_jll v100.100.0+0
[319450e9] SPRAL_jll v2024.5.8+0
[e47b3055] blis32_jll v1.0.0+0
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated`
(tmp) pkg>
OK, I am on Linux.
What is the output if you try:
pkg> up
Or, if that does not help, try:
pkg> add MiniZinc#v0.3.11
?
I use Ubuntu Linux. up did upgrade MiniZinc to v0.3.11. Thanks.
(@v1.10) pkg> up
Updating registry at `~/.julia/registries/General.toml`
Installed CodecBzip2 ───────── v0.8.3
Installed MUMPS_seq_jll ────── v500.700.300+0
Installed Hwloc_jll ────────── v2.11.1+0
Installed SPRAL_jll ────────── v2024.5.8+0
Installed Ipopt ────────────── v1.6.4
Installed Tables ───────────── v1.12.0
Installed MKL_jll ──────────── v2024.2.0+0
Installed IntelOpenMP_jll ──── v2024.2.0+0
Installed Ipopt_jll ────────── v300.1400.1600+0
Installed HiGHS_jll ────────── v1.7.1+0
Installed TranscodingStreams ─ v0.11.1
Installed CodecZlib ────────── v0.7.5
Installed MiniZinc_jll ─────── v2.8.5+0
Installed MiniZinc ─────────── v0.3.11
Installed MathOptInterface ─── v1.31.0
Installed Chuffed_jll ──────── v0.13.2+0
Downloaded artifact: MiniZinc
Downloaded artifact: MUMPS_seq
Downloaded artifact: SPRAL
Downloaded artifact: Hwloc
Downloaded artifact: Ipopt
Downloaded artifact: Chuffed
Downloaded artifact: IntelOpenMP
Downloaded artifact: HiGHS
Updating `~/.julia/environments/v1.10/Project.toml`
[b6b21f68] ↑ Ipopt v1.6.3 ⇒ v1.6.4
[a7f392d2] ↑ MiniZinc v0.2.1 ⇒ v0.3.11
⌃ [82193955] ↓ SCIP v0.11.14 ⇒ v0.11.6
[29cba6d7] ↑ Bonmin_jll v100.800.801+0 ⇒ v100.800.901+0
[9cc047cb] ↑ Ipopt_jll v300.1400.400+0 ⇒ v300.1400.1600+0
[319450e9] ↑ SPRAL_jll v2024.1.18+0 ⇒ v2024.5.8+0
Updating `~/.julia/environments/v1.10/Manifest.toml`
[523fee87] ↑ CodecBzip2 v0.8.2 ⇒ v0.8.3
[944b1d66] ↑ CodecZlib v0.7.4 ⇒ v0.7.5
[b6b21f68] ↑ Ipopt v1.6.3 ⇒ v1.6.4
[b8f27783] ↑ MathOptInterface v1.30.0 ⇒ v1.31.0
[a7f392d2] ↑ MiniZinc v0.2.1 ⇒ v0.3.11
⌃ [82193955] ↓ SCIP v0.11.14 ⇒ v0.11.6
[bd369af6] ↑ Tables v1.11.1 ⇒ v1.12.0
[3bb67fe8] ↑ TranscodingStreams v0.10.9 ⇒ v0.11.1
[29cba6d7] ↑ Bonmin_jll v100.800.801+0 ⇒ v100.800.901+0
[38041ee0] ↑ Cbc_jll v200.1000.501+0 ⇒ v200.1000.800+0
[3830e938] ↑ Cgl_jll v0.6000.300+0 ⇒ v0.6000.600+0
[77125aae] ↑ Chuffed_jll v0.10.4+0 ⇒ v0.13.2+0
⌅ [06985876] ↑ Clp_jll v100.1700.601+0 ⇒ v100.1700.700+1
⌅ [be027038] ↑ CoinUtils_jll v200.1100.400+0 ⇒ v200.1100.600+0
[8fd58aa0] ↑ HiGHS_jll v1.7.0+0 ⇒ v1.7.1+0
[e33a78d0] ↑ Hwloc_jll v2.10.0+0 ⇒ v2.11.1+0
[1d5cc7b8] ↑ IntelOpenMP_jll v2024.1.0+0 ⇒ v2024.2.0+0
[9cc047cb] ↑ Ipopt_jll v300.1400.400+0 ⇒ v300.1400.1600+0
[d00139f3] ↑ METIS_jll v5.1.1+0 ⇒ v5.1.2+0
[856f044c] ↑ MKL_jll v2024.1.0+0 ⇒ v2024.2.0+0
[d7ed1dd3] ↑ MUMPS_seq_jll v5.4.1+0 ⇒ v500.700.300+0
[3677d96b] ↑ MiniZinc_jll v2.6.2+0 ⇒ v2.8.5+0
⌅ [7da25872] ↑ Osi_jll v0.10800.600+0 ⇒ v0.10800.700+0
⌅ [fc9abe76] ↓ SCIP_PaPILO_jll v800.0.301+0 ⇒ v0.1.0+3
⌅ [e5ac4fe4] ↓ SCIP_jll v800.0.301+0 ⇒ v0.2.1+0
[319450e9] ↑ SPRAL_jll v2024.1.18+0 ⇒ v2024.5.8+0
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m`
Precompiling project...
41 dependencies successfully precompiled in 374 seconds. 80 already precompiled.
1 dependency had output during precompilation:
┌ MKL_jll
│ Downloading artifact: MKL
│
│ [pid 3438974] waiting for IO to finish:
│ Handle type uv_handle_t->data
│ timer 0x2d6f850->0x7fab31a5ef20
│ This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help.
│
│ [pid 3438974] waiting for IO to finish:
│ Handle type uv_handle_t->data
│ timer 0x2d6f850->0x7fab31a5ef20
│ This means that a package has started a background task or event source that has not finished running. For precompilation to complete successfully, the event source needs to be closed explicitly. See the developer documentation on fixing precompilation hangs for more help.
└
(@v1.10) pkg> status
Status `~/.julia/environments/v1.10/Project.toml`
[07493b3f] Alpine v0.5.6
[7c4d4715] AmplNLWriter v1.2.1
[6f275bd8] BLISBLAS v0.1.1
[227a2e2d] COPT v1.1.18
[bb8be931] EAGO v0.8.1
[7a1cc6ca] FFTW v1.8.0
[87dc4568] HiGHS v1.9.1
⌅ [d1acc4aa] IntervalArithmetic v0.20.9
[b6b21f68] Ipopt v1.6.4
[4076af6c] JuMP v1.22.2
[2ddba703] Juniper v0.9.2
[19f71287] MAiNGO v0.2.2
[33e6dc65] MKL v0.7.0
[a7f392d2] MiniZinc v0.3.11
⌃ [82193955] SCIP v0.11.6
[29cba6d7] Bonmin_jll v100.800.901+0
[f09e9e23] Couenne_jll v0.500.801+0
[9cc047cb] Ipopt_jll v300.1400.1600+0
[17f450c3] LAPACK32_jll v3.12.0+0
[c1ab834c] SHOT_jll v100.100.0+0
[319450e9] SPRAL_jll v2024.5.8+0
[e47b3055] blis32_jll v1.0.0+0
Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated`
(@v1.10) pkg> status --outdated
Status `~/.julia/environments/v1.10/Project.toml`
⌅ [d1acc4aa] IntervalArithmetic v0.20.9 (<v0.22.14): EAGO, IntervalContractors, IntervalRootFinding, McCormick
⌃ [82193955] SCIP v0.11.6 (<v0.11.14)
1 Like
Is it possible to use CP-SAT with MiniZinc in JuMP? If so, how is that solver set?
using MiniZinc
#model = Model(() -> MiniZinc.Optimizer{Float64}("highs"))
model = Model(() -> MiniZinc.Optimizer{Float64}("cpsat"))
odow
July 26, 2024, 10:33pm
5
up did upgrade
Hi @Stuart_Rogers , if I’m not mistaken, you’ve hit this issue with a few packages. To clarify: you must explicitly call ] up to update packages. In this case, you can see that ⌃ [a7f392d2] MiniZinc v0.2.1 is telling you “there is a new version available if you update”, whereas ⌅ [d1acc4aa] IntervalArithmetic v0.20.9 is saying “there is a new version, but something is blocking me from updating”.
Is it possible to use CP-SAT with MiniZinc in JuMP?
We don’t compile CP-SAT into MiniZinc.jl, so you’ll need to provide your own installation with a relevant .msc file. (See, e.g., How to define solver parameters in minizinc for CP-SAT from Google or-tools - Stack Overflow )