Merge pull request #67 from JuliaConstraints/dev

Tag new release for ConstraintExplorer
JuliaConstraints · Oct 21, 2024 · e6d28fc · e6d28fc
2 parents fe7d101 + 8778c04
commit e6d28fc
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "ConstraintDomains"
 uuid = "5800fd60-8556-4464-8d61-84ebf7a0bedb"
 authors = ["Jean-François Baffier"]
-version = "0.3.14"
+version = "0.3.15"
 
 [deps]
 ConstraintCommons = "e37357d9-0691-492f-a822-e5ea6a920954"

diff --git a/src/explore.jl b/src/explore.jl
@@ -244,7 +244,7 @@ end
 
 Internals of the `explore!` function. Behavior is automatically adjusted on the kind of exploration: `:flexible`, `:complete`, `:partial`.
 """
-function _explore!(explorer, f, ::Val{:partial})
+function _explore!(explorer, f, ::Val{:partial};)
     sl = explorer.settings.solutions_limit
     ms = explorer.settings.max_samplings
 
@@ -329,6 +329,16 @@ function explore(domains, concept; settings = ExploreSettings(domains), paramete
     return explorer.state.solutions, explorer.state.non_solutions
 end
 
+function _check!(explorer, configurations)
+    g =
+        x -> all([
+            f(isempty(vars) ? x : @view x[vars]) for
+            (f, vars) in explorer.concepts |> values
+        ])
+    foreach(c -> update_exploration!(explorer, g, c, :complete), configurations)
+    return nothing
+end
+
 ## SECTION - Test Items
 @testitem "Exploration" tags = [:exploration] begin
     domains = [domain([1, 2, 3, 4]) for i = 1:4]