Package evaluation to load SoleReasoners on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T09:12:29.843


################################################################################
# Set-up
#


Set-up completed after 0.09s


################################################################################
# Installation
#

Installing SoleReasoners...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [eb5c4719] + SoleReasoners v0.1.0
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [1520ce14] + AbstractTrees v0.4.5
  [66dad0bd] + AliasTables v1.1.3
  [ec485272] + ArnoldiMethod v0.4.0
  [324d7699] + CategoricalArrays v1.0.2
  [861a8166] + Combinatorics v1.0.3
  [34da2185] + Compat v4.18.1
  [a8cc5b0e] + Crayons v4.1.1
  [9a962f9c] + DataAPI v1.16.0
⌅ [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [85a47980] + Dictionaries v0.4.5
  [ffbed154] + DocStringExtensions v0.9.5
  [1a297f60] + FillArrays v1.14.0
  [069b7b12] + FunctionWrappers v1.1.3
  [86223c79] + Graphs v1.13.1
  [313cdc1a] + Indexing v1.1.1
  [d25df0c9] + Inflate v0.1.5
  [92d709cd] + IrrationalConstants v0.2.6
  [c8e1da08] + IterTools v1.10.0
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [b964fa9f] + LaTeXStrings v1.4.0
  [50d2b5c4] + Lazy v0.15.1
  [2ab3a3ac] + LogExpFunctions v0.3.29
  [1914dd2f] + MacroTools v0.5.16
  [e1d29d7a] + Missings v1.2.0
  [bac558e1] + OrderedCollections v1.8.1
  [aea7be01] + PrecompileTools v1.3.3
  [21216c6a] + Preferences v1.5.0
⌅ [08abe8d2] + PrettyTables v2.4.0
  [43287f4e] + PtrArrays v1.3.0
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [699a6c99] + SimpleTraits v0.9.5
  [4475fa32] + SoleBase v0.13.4
  [b002da8f] + SoleLogics v0.13.2
  [eb5c4719] + SoleReasoners v0.1.0
  [a2af1166] + SortingAlgorithms v1.2.2
  [90137ffa] + StaticArrays v1.9.15
  [1e83bf80] + StaticArraysCore v1.4.4
  [10745b16] + Statistics v1.11.1
  [82ae8749] + StatsAPI v1.7.1
  [2913bbd2] + StatsBase v0.34.7
  [892a3eda] + StringManipulation v0.4.1
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.1
  [4239201d] + ThreadSafeDicts v0.1.6
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [8ba89e20] + Distributed 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
  [a63ad114] + Mmap v1.11.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [1a1011a3] + SharedArrays v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [2f01184e] + SparseArrays v1.13.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
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+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 5.23s


################################################################################
# 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...
   1167.2 ms  ✓ DocStringExtensions
   2042.0 ms  ✓ FillArrays
   3986.7 ms  ✓ CategoricalArrays
  27261.3 ms  ✓ PrettyTables
   1862.8 ms  ✓ SortingAlgorithms
   8905.2 ms  ✓ Graphs
   1490.0 ms  ✓ LogExpFunctions
   1665.7 ms  ✓ FillArrays → FillArraysSparseArraysExt
   1057.4 ms  ✓ FillArrays → FillArraysStatisticsExt
   4848.4 ms  ✓ StatsBase
   1950.2 ms  ✓ CategoricalArrays → CategoricalArraysStatsBaseExt
   8571.7 ms  ✓ SoleBase
  25000.6 ms  ✓ SoleLogics
   6750.9 ms  ✓ SoleReasoners
  14 dependencies successfully precompiled in 97 seconds. 56 already precompiled.

Precompilation completed after 101.28s


################################################################################
# Loading
#

Loading SoleReasoners...

Loading completed after 3.47s

PkgEval succeeded after 143.43s