Tag new release (#123)

* CI and other small fixes (#120) * Update compat and CI (#115) * Fixes for a demo * Cleaning unused files. Added Aqua and other CI * spelling * New version * Fix an issue when restarting (#122) * Update Project.toml
JuliaConstraints · Jun 23, 2024 · c74d2e7 · c74d2e7
1 parent 228b008
commit c74d2e7
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "LocalSearchSolvers"
 uuid = "2b10edaa-728d-4283-ac71-07e312d6ccf3"
 authors = ["Jean-Francois Baffier"]
-version = "0.4.5"
+version = "0.4.6"
 
 [deps]
 CompositionalNetworks = "4b67e4b5-442d-4ef5-b760-3f5df3a57537"

diff --git a/src/solver.jl b/src/solver.jl
@@ -259,7 +259,7 @@ function _restart!(s, k = 10)
     empty_tabu!(s)
     δ = ((k - 1) * get_option(s, "tabu_delta")) + get_option(s, "tabu_time") / k
     set_option!(s, "tabu_delta", δ)
-    _compute!(s) ? _optimizing!(s) : _satisfying!(s)
+    (_compute!(s) && !is_sat(s)) ? _optimizing!(s) : _satisfying!(s)
 end
 
 """

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -14,6 +14,6 @@ const LS = LocalSearchSolvers
 @testset "LocalSearchSolvers.jl" begin
     include("Aqua.jl")
     include("TestItemRunner.jl")
-    # include("internal.jl")
-    # include("raw_solver.jl")
+    include("internal.jl")
+    include("raw_solver.jl")
 end