Update Yices to version 2.6.4

quark17 · quark17 · commit 07f9b668cc4d · 2021-10-28T17:42:15.000+13:00
diff --git a/src/vendor/yices/v2.6/yices2 b/src/vendor/yices/v2.6/yices2
@@ -1 +1 @@
-Subproject commit 1dcb71c405b5f1d21b363eb33b566068cad2e87d
+Subproject commit f705557b7d33d866eb1b47b5471f97189eb31cc4
