ports@,

I'd like to update math/z3 to 4.13.4.

Tested on -current/amd64.

Changes:

Version 4.13.4
==============
- several updates to emscripten including #7473
- add preliminary pyodie build
- address issues with Java bindings
- Include start of sls-smt functionality SLS modulo theories as co-processor to SMT core and stand-alone tactic.

Ok?

Index: Makefile
===================================================================
RCS file: /home/cvs/ports/math/z3/Makefile,v
diff -u -p -r1.35 Makefile
--- Makefile	20 Oct 2024 19:18:26 -0000	1.35
+++ Makefile	17 Dec 2024 14:15:15 -0000
@@ -1,9 +1,9 @@
 COMMENT =	Z3 theorem prover
 
-DIST_TUPLE =	github	Z3Prover	z3	z3-4.13.3	.
+DIST_TUPLE =	github	Z3Prover	z3	z3-4.13.4	.
 PKGNAME =	${DISTNAME:S/z3-//}
 
-SHARED_LIBS =	z3	4.12
+SHARED_LIBS =	z3	4.13
 
 CATEGORIES =	math
 
Index: distinfo
===================================================================
RCS file: /home/cvs/ports/math/z3/distinfo,v
diff -u -p -r1.16 distinfo
--- distinfo	20 Oct 2024 19:18:26 -0000	1.16
+++ distinfo	17 Dec 2024 14:17:25 -0000
@@ -1,2 +1,2 @@
-SHA256 (Z3Prover-z3-z3-4.13.3.tar.gz) = 9Zyc9gDqV/tk/+/7/9Dy0riWhU8znoRvSPBp0jvBS6A=
-SIZE (Z3Prover-z3-z3-4.13.3.tar.gz) = 5583533
+SHA256 (Z3Prover-z3-z3-4.13.4.tar.gz) = QHGXfmbp89I5t7CYzt3+Yv/fPHHjRelSSkpQAdH0rfM=
+SIZE (Z3Prover-z3-z3-4.13.4.tar.gz) = 5766645

-- 
wbr, Kirill