diff --git a/docs/Manifest.toml b/docs/Manifest.toml
index 6006e54..289875f 100644
--- a/docs/Manifest.toml
+++ b/docs/Manifest.toml
@@ -202,10 +202,10 @@ uuid = "944b1d66-785c-5afd-91f1-9de20f533193"
 version = "0.7.6"
 
 [[deps.CommonMark]]
-deps = ["Crayons", "JSON", "PrecompileTools", "URIs"]
-git-tree-sha1 = "532c4185d3c9037c0237546d817858b23cf9e071"
+deps = ["Crayons", "PrecompileTools"]
+git-tree-sha1 = "3faae67b8899797592335832fccf4b3c80bb04fa"
 uuid = "a80b9123-70ca-4bc0-993e-6e3bcb318db6"
-version = "0.8.12"
+version = "0.8.15"
 
 [[deps.CommonSubexpressions]]
 deps = ["MacroTools"]
@@ -230,8 +230,8 @@ version = "1.1.1+0"
 
 [[deps.CompositionalNetworks]]
 deps = ["ConstraintCommons", "ConstraintDomains", "Dictionaries", "Distances", "JuliaFormatter", "OrderedCollections", "Random", "TestItems", "Unrolled"]
-git-tree-sha1 = "42ea78627a970cc0f4d0707fb87c29a5892a65cc"
-repo-rev = "main"
+git-tree-sha1 = "216a9959e4c85bd91e5c340dafe788feb8977cd6"
+repo-rev = "doc"
 repo-url = "https://github.com/JuliaConstraints/CompositionalNetworks.jl.git"
 uuid = "4b67e4b5-442d-4ef5-b760-3f5df3a57537"
 version = "0.5.9"
@@ -253,19 +253,19 @@ version = "2.4.2"
 
 [[deps.ConstraintCommons]]
 deps = ["Dictionaries", "TestItems"]
-git-tree-sha1 = "779227189854f846de5f72b518e50dda14c7886b"
-repo-rev = "main"
+git-tree-sha1 = "d02bf23ecd60f1c9bf02b6e88e7aae185ece2d04"
+repo-rev = "doc"
 repo-url = "https://github.com/JuliaConstraints/ConstraintCommons.jl.git"
 uuid = "e37357d9-0691-492f-a822-e5ea6a920954"
 version = "0.2.3"
 
 [[deps.ConstraintDomains]]
 deps = ["ConstraintCommons", "Intervals", "PatternFolds", "StatsBase", "TestItems"]
-git-tree-sha1 = "02380c829c947c0579864c51affa1646a170d037"
-repo-rev = "main"
+git-tree-sha1 = "e7bd4dc7e3417a7d609638d3eb12291d573d6205"
+repo-rev = "doc"
 repo-url = "https://github.com/JuliaConstraints/ConstraintDomains.jl.git"
 uuid = "5800fd60-8556-4464-8d61-84ebf7a0bedb"
-version = "0.3.13"
+version = "0.3.14"
 
 [[deps.ConstraintLearning]]
 deps = ["CompositionalNetworks", "ConstraintDomains", "Constraints", "DataFrames", "Dictionaries", "Evolutionary", "Flux", "LocalSearchSolvers", "Memoization", "PrettyTables", "QUBOConstraints", "TestItems", "ThreadPools"]
@@ -285,16 +285,16 @@ version = "0.3.0"
 
 [[deps.Constraints]]
 deps = ["CompositionalNetworks", "ConstraintCommons", "ConstraintDomains", "DataFrames", "Dictionaries", "MacroTools", "PrettyTables", "TestItems"]
-git-tree-sha1 = "16ccf71ad523346b270e76c6096fdb4a6e65db00"
-repo-rev = "main"
+git-tree-sha1 = "af242993faf391fd6734d48c8222aef5a64b7ff4"
+repo-rev = "doc"
 repo-url = "https://github.com/JuliaConstraints/Constraints.jl.git"
 uuid = "30f324ab-b02d-43f0-b619-e131c61659f7"
-version = "0.5.8"
+version = "0.5.7"
 
 [[deps.ConstraintsTranslator]]
 deps = ["Constraints", "HTTP", "InteractiveUtils", "JSON3", "JSONSchema", "REPL", "TestItems"]
-git-tree-sha1 = "85a0896d7da05c8a5925fa7119793b02cd6ae8ab"
-repo-rev = "main"
+git-tree-sha1 = "78710bd500f9bd0ea7ae153fb1de6acd1c24c66a"
+repo-rev = "doc"
 repo-url = "https://github.com/JuliaConstraints/ConstraintsTranslator.jl.git"
 uuid = "314c63f5-3dda-4b35-95e7-4cc933f13053"
 version = "0.0.2"
@@ -518,9 +518,9 @@ version = "2.24.0"
 
 [[deps.Flux]]
 deps = ["Adapt", "ChainRulesCore", "Compat", "Functors", "LinearAlgebra", "MLUtils", "MacroTools", "NNlib", "OneHotArrays", "Optimisers", "Preferences", "ProgressLogging", "Random", "Reexport", "Setfield", "SparseArrays", "SpecialFunctions", "Statistics", "Zygote"]
-git-tree-sha1 = "d7d0a182089d9d3ff0cd0b761d21020fea2b1035"
+git-tree-sha1 = "f3b4e96288e8bee94cd1e230c1a9387d3e03f788"
 uuid = "587475ba-b771-5e3f-ad9e-33799f191a9c"
-version = "0.14.20"
+version = "0.14.21"
 
     [deps.Flux.extensions]
     FluxAMDGPUExt = "AMDGPU"
@@ -721,9 +721,9 @@ version = "0.2.4"
 
 [[deps.KernelAbstractions]]
 deps = ["Adapt", "Atomix", "InteractiveUtils", "MacroTools", "PrecompileTools", "Requires", "StaticArrays", "UUIDs", "UnsafeAtomics", "UnsafeAtomicsLLVM"]
-git-tree-sha1 = "5126765c5847f74758c411c994312052eb7117ef"
+git-tree-sha1 = "04e52f596d0871fa3890170fa79cb15e481e4cd8"
 uuid = "63c18a36-062a-441e-b654-da1e3ab1ce7c"
-version = "0.9.27"
+version = "0.9.28"
 
     [deps.KernelAbstractions.extensions]
     EnzymeExt = "EnzymeCore"
diff --git a/docs/make.jl b/docs/make.jl
index 60cf529..fdf0790 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -17,9 +17,10 @@ using QUBOConstraints
 using ConstraintsTranslator
 using ConstraintLearning
 
-# Constraint-Based Local Search
+# Solvers
 using LocalSearchSolvers
 using CBLS
+# using ConstraintExplorer
 
 # Meta-package
 using MetaStrategist
@@ -30,7 +31,7 @@ makedocs(;
         ConstraintCommons, ConstraintDomains, Constraints, ConstraintModels,
         CompositionalNetworks, QUBOConstraints, ConstraintLearning,
         CompositionalNetworks, QUBOConstraints, ConstraintsTranslator, ConstraintLearning,
-        LocalSearchSolvers, CBLS,
+        LocalSearchSolvers, CBLS, #ConstraintExplorer,
         MetaStrategist,
     ],
     authors="Julia Constraints et al.",
@@ -104,13 +105,14 @@ makedocs(;
             "Introduction" => "solvers/00_intro.md",
             "JuMPed" => [
                 "CBLS.jl" => "solvers/10_cbls.md",
+                "ConstraintExplorer.jl" => "solvers/40_constraint_explorer.md",
             ],
-            "Others" => [
-                "LocalSearchSolvers.jl" => "solvers/60_local_search_solvers.md",
+            "Other interfaces" => [
+                "LocalSearchSolvers.jl" => "solvers/50_local_search_solvers.md",
+            ],
+            "Meta Solvers" => [
+                "MetaStrategist.jl" => "solvers/80_meta_strategist.md",
             ],
-        ],
-        "Meta Strategist" => [
-            "MetaStrategist.jl" => "meta/00_meta_strategist.md",
         ],
         "Performance Checking" => [
             "PerfChecker.jl" => "perf/00_perf_checker.md",
diff --git a/docs/src/api/00_public.md b/docs/src/api/00_public.md
index 621daee..6c6ff88 100644
--- a/docs/src/api/00_public.md
+++ b/docs/src/api/00_public.md
@@ -3,7 +3,7 @@
 ```@autodocs; canonical=false
 Modules=[
     ConstraintCommons, ConstraintDomains, Constraints,
-    CompositionalNetworks, QUBOConstraints,
+    CompositionalNetworks, QUBOConstraints, ConstraintsTranslator,
 ]
 Private = false
 ```
diff --git a/docs/src/api/10_full.md b/docs/src/api/10_full.md
index af98088..6ce435d 100644
--- a/docs/src/api/10_full.md
+++ b/docs/src/api/10_full.md
@@ -3,6 +3,6 @@
 ```@autodocs
 Modules=[
     ConstraintCommons, ConstraintDomains, Constraints,
-    CompositionalNetworks, QUBOConstraints,
+    CompositionalNetworks, QUBOConstraints, ConstraintsTranslator
 ]
 ```
diff --git a/docs/src/assets/logo_dark.png b/docs/src/assets/logo_dark.png
new file mode 100644
index 0000000..4a1302e
Binary files /dev/null and b/docs/src/assets/logo_dark.png differ
diff --git a/docs/src/assets/logo_light.png b/docs/src/assets/logo_light.png
new file mode 100644
index 0000000..4a1302e
Binary files /dev/null and b/docs/src/assets/logo_light.png differ
diff --git a/docs/src/constraints/61_constraint_domains.md b/docs/src/constraints/61_constraint_domains.md
index c53f211..0c21a87 100644
--- a/docs/src/constraints/61_constraint_domains.md
+++ b/docs/src/constraints/61_constraint_domains.md
@@ -114,8 +114,9 @@ Base.convert
 ## Exploration
 
 ```@docs; canonical=false
+Explorer
 ExploreSettings
-_explore
+explore!
 explore
 ```
 
diff --git a/docs/src/learning/00_intro.md b/docs/src/learning/00_intro.md
index 927bd13..22e97e6 100644
--- a/docs/src/learning/00_intro.md
+++ b/docs/src/learning/00_intro.md
@@ -9,17 +9,17 @@ About learning constraints related matters.
 One major challenge of learning the features of constraints is exploring the domains of parameters. To tackle this issue, we provide some way to generate parameters from variables' domains.
 
 ```@docs; canonical=false
-BoolParameterDomain
-DimParameterDomain
-IdParameterDomain
-FakeAutomaton
+ConstraintDomains.BoolParameterDomain
+ConstraintDomains.DimParameterDomain
+ConstraintDomains.IdParameterDomain
+ConstraintDomains.FakeAutomaton
 ConstraintCommons.accept
-fake_automaton
-LanguageParameterDomain
-OpParameterDomain
-PairVarsParameterDomain
-ValParameterDomain
-ValsParameterDomain
-Base.rand
-generate_parameters
+ConstraintDomains.fake_automaton
+ConstraintDomains.LanguageParameterDomain
+ConstraintDomains.OpParameterDomain
+ConstraintDomains.PairVarsParameterDomain
+ConstraintDomains.ValParameterDomain
+ConstraintDomains.ValsParameterDomain
+ConstraintDomains.Base.rand
+ConstraintDomains.generate_parameters
 ```
\ No newline at end of file
diff --git a/docs/src/learning/10_compositional_networks.md b/docs/src/learning/10_compositional_networks.md
index a21cbd6..70df0ad 100644
--- a/docs/src/learning/10_compositional_networks.md
+++ b/docs/src/learning/10_compositional_networks.md
@@ -15,7 +15,7 @@ lazy_param
 as_bitvector
 as_int
 reduce_symbols
-CompositionalNeworks.tr_in
+tr_in
 ```
 
 ## Metrics
@@ -24,5 +24,5 @@ CompositionalNeworks.tr_in
 hamming
 minkowski
 manhattan
-weigths_bias
+weights_bias
 ```
diff --git a/docs/src/learning/11_layers.md b/docs/src/learning/11_layers.md
index a31bc8e..2ba9e91 100644
--- a/docs/src/learning/11_layers.md
+++ b/docs/src/learning/11_layers.md
@@ -20,5 +20,5 @@ selected_size
 is_viable
 generate_inclusive_operations
 generate_exclusive_operation
-generate_weigths
+generate_weights
 ```
diff --git a/docs/src/learning/12_transformation.md b/docs/src/learning/12_transformation.md
index dba2e0b..1498944 100644
--- a/docs/src/learning/12_transformation.md
+++ b/docs/src/learning/12_transformation.md
@@ -24,19 +24,19 @@ tr_count_lesser
 tr_count_g_left
 tr_count_g_right
 tr_count_l_right
-tr_contiguous_vals_minus
-tr_contiguous_vals_minus_rev
+tr_contiguous_vars_minus
+tr_contiguous_vars_minus_rev
 ```
 
 ### Param: `:val`
 
 ```@docs; canonical=false
-tr_count_eq_param
-tr_count_l_param
-tr_count_g_param
-tr_count_bounding_param
-tr_val_minus_param
-tr_param_minus_val
+tr_count_eq_val
+tr_count_l_val
+tr_count_g_val
+tr_count_bounding_val
+tr_var_minus_val
+tr_val_minus_var
 ```
 
 
diff --git a/docs/src/learning/15_comparison.md b/docs/src/learning/15_comparison.md
index 1ce4a18..4d5b8d2 100644
--- a/docs/src/learning/15_comparison.md
+++ b/docs/src/learning/15_comparison.md
@@ -14,19 +14,19 @@ List the possible parameters and how it affects the comparison.
 
 ```@docs; canonical=false
 co_identity
-co_euclidian
-co_abs_diff_val_vars
-co_val_minus_vars
-co_vars_minus_val
+co_euclidean
+co_abs_diff_var_vars
+co_var_minus_vars
+co_vars_minus_var
 ```
 
 ### Param: `:val`
 
 ```@docs; canonical=false
-co_abs_diff_val_param
-co_val_minus_param
-co_param_minus_val
-co_euclidian_param
+co_abs_diff_var_val
+co_var_minus_val
+co_val_minus_var
+co_euclidean_val
 ```
 
 
diff --git a/docs/src/learning/30_constraints_translator.md b/docs/src/learning/30_constraints_translator.md
index b568b40..fde67f8 100644
--- a/docs/src/learning/30_constraints_translator.md
+++ b/docs/src/learning/30_constraints_translator.md
@@ -2,6 +2,4 @@
 
 Documentation for `ConstraintsTranslator.jl`.
 
-<!-- ```@autodocs
-Modules=[ConstraintsTranslator]
-``` -->
+
diff --git a/docs/src/solvers/40_constraint_explorer.md b/docs/src/solvers/40_constraint_explorer.md
new file mode 100644
index 0000000..a3e9b64
--- /dev/null
+++ b/docs/src/solvers/40_constraint_explorer.md
@@ -0,0 +1,3 @@
+# ConstraintExplorer.jl
+
+Documentation for `ConstraintExplorer.jl`.
diff --git a/docs/src/solvers/60_local_search_solvers.md b/docs/src/solvers/50_local_search_solvers.md
similarity index 100%
rename from docs/src/solvers/60_local_search_solvers.md
rename to docs/src/solvers/50_local_search_solvers.md
diff --git a/docs/src/meta/00_meta_strategist.md b/docs/src/solvers/80_meta_strategist.md
similarity index 100%
rename from docs/src/meta/00_meta_strategist.md
rename to docs/src/solvers/80_meta_strategist.md