From e2b7ee4ebd4b84f77460dea8b0226b776b54b5ff Mon Sep 17 00:00:00 2001
From: Riccardo De Benedictis <riccardo.debenedictis@cnr.it>
Date: Fri, 6 Dec 2024 13:49:22 +0100
Subject: [PATCH] Update extern/solver subproject commit hash to latest version

---
 extern/solver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extern/solver b/extern/solver
index bf6a6a6..3063513 160000
--- a/extern/solver
+++ b/extern/solver
@@ -1 +1 @@
-Subproject commit bf6a6a6f7f464b3192d40a768e8dbb3dc420b72d
+Subproject commit 3063513e13b97a1c9f5b696913158718f1a40a11