Package evaluation to load ZebraPuzzles on Julia 1.14.0-DEV.87 (8bcaa34afa*) started at 2025-11-15T10:25:34.811 ################################################################################ # Set-up # Set-up completed after 0.12s ################################################################################ # Installation # Installing ZebraPuzzles... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [ea4507f1] + ZebraPuzzles v0.2.3 Updating `~/.julia/environments/v1.14/Manifest.toml` [34da2185] + Compat v4.18.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [a93c6f00] + DataFrames v1.8.1 [864edb3b] + DataStructures v0.19.3 [e2d170a0] + DataValueInterfaces v1.0.0 [e2ba6199] + ExprTools v0.1.10 [842dd82b] + InlineStrings v1.4.5 [9f9138d1] + InterfaceFunctions v0.2.4 [41ab1584] + InvertedIndices v1.3.1 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.1 [b964fa9f] + LaTeXStrings v1.4.0 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [78c3b35d] + Mocking v0.8.1 [bac558e1] + OrderedCollections v1.8.1 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v2.4.0 [189a3867] + Reexport v1.2.2 [160ab843] + Satisfiability v0.2.0 [91c51154] + SentinelArrays v1.4.8 [a2af1166] + SortingAlgorithms v1.2.2 [10745b16] + Statistics v1.11.1 [892a3eda] + StringManipulation v0.4.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [ea4507f1] + ZebraPuzzles v0.2.3 [3eaa8342] + libcxxwrap_julia_jll v0.14.5+1 [1bc4e1ec] + z3_jll v4.15.4+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.0.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [781609d7] + GMP_jll v6.3.0+2 [4536629a] + OpenBLAS_jll v0.3.29+0 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 7.18s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling packages... 2980.4 ms ✓ InterfaceFunctions 1844.4 ms ✓ libcxxwrap_julia_jll 80377.2 ms ✓ DataFrames 1510.9 ms ✓ z3_jll 10016.0 ms ✓ Satisfiability 37049.7 ms ✓ ZebraPuzzles 6 dependencies successfully precompiled in 134 seconds. 40 already precompiled. Precompilation completed after 141.49s ################################################################################ # Loading # Loading ZebraPuzzles... Loading completed after 8.44s PkgEval succeeded after 169.76s