From c99611a10c3633433250da065a1879798424bbbc Mon Sep 17 00:00:00 2001
From: Riccardo De Benedictis <riccardo.debenedictis@cnr.it>
Date: Wed, 4 Dec 2024 12:12:03 +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 bc56588..bf6a6a6 160000
--- a/extern/solver
+++ b/extern/solver
@@ -1 +1 @@
-Subproject commit bc565888d5b3c8ee1850ff8ed801e08601af1060
+Subproject commit bf6a6a6f7f464b3192d40a768e8dbb3dc420b72d