diff --git a/docs/Manifest.toml b/docs/Manifest.toml
index eaf63ac..d8b41c6 100644
--- a/docs/Manifest.toml
+++ b/docs/Manifest.toml
@@ -1077,12 +1077,12 @@ uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0"
 version = "2.8.1"
 
 [[deps.PatternFolds]]
-deps = ["Intervals", "Lazy", "Random", "Reexport", "TestItemRunner", "TestItems"]
-git-tree-sha1 = "0698e974b926f0e24019a42fc78fe8498f2f1f04"
+deps = ["Intervals", "Lazy", "Random", "TestItems"]
+git-tree-sha1 = "0d961a0daa7c478741890c49388133440d625c2b"
 repo-rev = "main"
 repo-url = "https://github.com/JuliaConstraints/PatternFolds.jl.git"
 uuid = "c18a7f1d-76ad-4ce4-950d-5419b888513b"
-version = "0.2.5"
+version = "0.2.6"
 
 [[deps.PerfChecker]]
 deps = ["CSV", "CoverageTools", "CpuId", "JSON", "Malt", "Pkg", "Profile", "TOML", "TypedTables", "UUIDs"]
@@ -1408,12 +1408,6 @@ deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
 uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 version = "1.11.0"
 
-[[deps.TestItemRunner]]
-deps = ["Pkg", "TOML", "Test", "TestItems", "UUIDs"]
-git-tree-sha1 = "29647c5398be04a1d697265ba385bdf3f623c993"
-uuid = "f8b46487-2199-4994-9208-9a1283c18c0a"
-version = "1.0.5"
-
 [[deps.TestItems]]
 git-tree-sha1 = "42fd9023fef18b9b78c8343a4e2f3813ffbcefcb"
 uuid = "1c621080-faea-4a02-84b6-bbd5e436b8fe"
diff --git a/docs/make.jl b/docs/make.jl
index 43016e9..09e6b63 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -21,7 +21,7 @@ using ConstraintLearning
 # Solvers
 using LocalSearchSolvers
 using CBLS
-using ConstraintExplorer
+# using ConstraintExplorer
 
 # Meta-package
 using MetaStrategist
@@ -31,7 +31,7 @@ makedocs(;
         PerfChecker,
         ConstraintCommons, PatternFolds, ConstraintDomains, Constraints, ConstraintModels,
         CompositionalNetworks, QUBOConstraints, ConstraintsTranslator, ConstraintLearning,
-        LocalSearchSolvers, CBLS, ConstraintExplorer,
+        LocalSearchSolvers, CBLS, #ConstraintExplorer,
         MetaStrategist,
     ],
     authors="Julia Constraints et al.",
diff --git a/docs/src/solvers/40_constraint_explorer.md b/docs/src/solvers/40_constraint_explorer.md
index cb878f7..a3e9b64 100644
--- a/docs/src/solvers/40_constraint_explorer.md
+++ b/docs/src/solvers/40_constraint_explorer.md
@@ -1,7 +1,3 @@
 # ConstraintExplorer.jl
 
 Documentation for `ConstraintExplorer.jl`.
-
-```@autodocs
-Modules=[ConstraintExplorer]
-```