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