From a68fbe612456c5369c7157f9c2a7eb2bb1935c8c Mon Sep 17 00:00:00 2001
From: Max Bourgeat <72439470+Max9294D@users.noreply.github.com>
Date: Thu, 10 Aug 2023 12:38:23 -0400
Subject: [PATCH] add reset_domain to reset_model (#433)

---
 src/CP/core/model.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/CP/core/model.jl b/src/CP/core/model.jl
index 69facaeb..505a5bce 100644
--- a/src/CP/core/model.jl
+++ b/src/CP/core/model.jl
@@ -400,6 +400,9 @@ function reset_model!(model::CPModel)
     model.statistics.numberOfNodesBeforeRestart = 0
     model.statistics.AccumulatedRewardBeforeReset = 0
     model.statistics.AccumulatedRewardBeforeRestart = 0
+    for var in model.variables
+        reset_domain!(var[2].domain)
+    end
 end
 """
 restart_search!(model::CPModel)