Added a gif for the example and tiny improvements to the code

06_coding_patterns.md

@@ -691,4 +691,8 @@ actually have to build a task queues where the solver is run by workers. Using
 multiprocessing can still be useful for the worker to remain responsive for stop
 signals while the solver is running.
 
+| ![Interactive Solver with Streamlit using multiprocessing](https://github.com/d-krupke/cpsat-primer/blob/main/images/streamlit_solver.gif) |
+| :----------------------------------------------------------------------------------------------------------------------------------------: |
+|                                _Using multiprocessing, one can build a responsive interface for a solver._                                 |
+
 ---

README.md

@@ -3125,6 +3125,10 @@ actually have to build a task queues where the solver is run by workers. Using
 multiprocessing can still be useful for the worker to remain responsive for stop
 signals while the solver is running.
 
+| ![Interactive Solver with Streamlit using multiprocessing](https://github.com/d-krupke/cpsat-primer/blob/main/images/streamlit_solver.gif) |
+| :----------------------------------------------------------------------------------------------------------------------------------------: |
+|                                _Using multiprocessing, one can build a responsive interface for a solver._                                 |
+
 ---
 
 

examples/embedding_cpsat/solver_process.py

@@ -170,5 +170,7 @@ def __del__(self):
         """Cleans up the process when the object is deleted."""
         if self.process.is_alive():
             self.interrupt()
-            self.process.join()
+            self.process.join(timeout=1)
+            if self.process.is_alive():
+                self.process.terminate()
             self.process.close()