Issue seems to come from ConstraintsTranslator

Author: Azzaare

docs/make.jl

@@ -7,32 +7,32 @@ using PerfChecker
 
 # Constraints
 using ConstraintCommons
-# using PatternFolds
+using PatternFolds
 using ConstraintDomains
 using Constraints
 using ConstraintModels
 
 # Learning
 using CompositionalNetworks
 using QUBOConstraints
-using ConstraintsTranslator
+# using ConstraintsTranslator
 using ConstraintLearning
 
 # Solvers
 using LocalSearchSolvers
 using CBLS
-# using ConstraintExplorer
+using ConstraintExplorer
 
 # Meta-package
 using MetaStrategist
 
 makedocs(;
     modules=[
         PerfChecker,
-        ConstraintCommons, ConstraintDomains, Constraints, ConstraintModels,
-        # ConstraintCommons, PatternFolds, ConstraintDomains, Constraints, ConstraintModels,
-        CompositionalNetworks, QUBOConstraints, ConstraintsTranslator, ConstraintLearning,
-        LocalSearchSolvers, CBLS, #ConstraintExplorer,
+        ConstraintCommons, PatternFolds, ConstraintDomains, Constraints, ConstraintModels,
+        CompositionalNetworks, QUBOConstraints, ConstraintLearning,
+        # CompositionalNetworks, QUBOConstraints, ConstraintsTranslator, ConstraintLearning,
+        LocalSearchSolvers, CBLS, ConstraintExplorer,
         MetaStrategist,
     ],
     authors="Julia Constraints et al.",

docs/src/constraints/61_pattern_folds.md

@@ -2,4 +2,6 @@
 
 Documentation for `PatternFolds.jl`.
 
-
+```@autodocs
+Modules=[PatternFolds]
+```

docs/src/learning/30_constraints_translator.md

@@ -1,7 +1,3 @@
 # ConstraintsTranslator.jl
 
 Documentation for `ConstraintsTranslator.jl`.
-
-```@autodocs
-Modules=[ConstraintsTranslator]
-```

docs/src/solvers/40_constraint_explorer.md

@@ -1,3 +1,7 @@
 # ConstraintExplorer.jl
 
 Documentation for `ConstraintExplorer.jl`.
+
+```@autodocs
+Modules=[ConstraintExplorer]
+```