Dev

src/constraints/extension.jl

@@ -13,9 +13,9 @@ Global constraint ensuring that `x` matches a configuration listed within the su
 const description_conflicts = """
 Global constraint ensuring that `x` does not match any configuration listed within the conflict set `pair_vars`. This constraint, originating from the extension model, stipulates that `x` must avoid all configurations defined as conflicts: `x ∉ pair_vars`. It is useful for specifying configurations that are explicitly forbidden and should be excluded from the solution space.
 """
-
+xcsp_extension(list, ::Nothing, ::Nothing) = false
 xcsp_extension(list, ::Nothing, conflicts) = list ∉ conflicts
-xcsp_extension(list, supports, _) = list ∈ supports
+xcsp_extension(list, supports, ::Nothing) = list ∈ supports
 
 """
     xcsp_extension(; list, supports=nothing, conflicts=nothing)

src/constraints/intention.jl

@@ -23,22 +23,7 @@ concept(:dist_different)(x)
 ```
 
 # Examples
-
-````@example debug2
-2 + 2
-````
-
-```@example debug1
-2 + 2
-```
-
-```@example intention1
-using Constraints # hide
-c = concept(:dist_different)
-c([1, 2, 3, 3]) && !c([1, 2, 3, 4])
-```
-
-````@example intention2
+````julia
 using Constraints # hide
 c = concept(:dist_different)
 c([1, 2, 3, 3]) && !c([1, 2, 3, 4])