diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index 9829959a31fc..ef7f580a9077 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,55 +1,54 @@
 PORTNAME=	z3-solver
-DISTVERSION=	5.0.0.0
-PORTREVISION=	1
+DISTVERSION=	5.1.0.0
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python binding for Z3 Theorem Prover
 WWW=		https://github.com/Z3Prover/z3
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
 LIB_DEPENDS=	libz3.so:math/z3
 
 USES=		cmake python
 USE_PYTHON=	flavors autoplist
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 GH_PROJECT=	z3
-GH_TAGNAME=	z3-5.0.0
+GH_TAGNAME=	z3-5.1.0
 
 WRKSRC_SUBDIR=	src/api/python
 WRKSRC_top=	${WRKSRC}/../../..
 
 TEST_ENV=	${MAKE_ENV} PYTHONPATH=${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}
 
 NO_ARCH=	yes
 
 PLIST_FILES=	${PYTHON_SITELIBDIR:S,^${PREFIX}/,,}/z3/z3regex.py
 
 post-patch:
 	@${RLN} ${WRKSRC_top}/scripts ${WRKSRC}/scripts
 	@${RLN} ${WRKSRC_top}/src/api ${WRKSRC}/api
 
 do-test:
 .for t in z3 z3num
 	@cd ${WRKSRC_top} && \
 		${CP} ${WRKSRC}/z3test.py . && \
 		${ECHO} "==> running the test ${t}" && \
 		${SETENV} ${TEST_ENV} ${PYTHON_CMD} z3test.py ${t} && \
 		${ECHO} "... test ${t} succeeded"
 .endfor
 .for e in kinematics power-of-two dog-cat-mouse sudoku eight-queens
 	@cd ${WRKSRC}/../../.. && \
 		${ECHO} "==> running the example ${e}" && \
 		${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \
 		${ECHO} "... example ${e} succeeded"
 	@${ECHO} "All tests succeeded."
 .endfor
 
 # tests as of 5.0.0.0: z3/z3num unit tests + kinematics, power-of-two, dog-cat-mouse, sudoku, eight-queens examples all passed.
 
 .include <bsd.port.mk>
diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo
index 0c56450b6fd9..1c4a501653f9 100644
--- a/math/py-z3-solver/distinfo
+++ b/math/py-z3-solver/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1785190590
-SHA256 (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = f3bf2274e61f22417c7354613cb57d4f8de86067029db1771523d7c34d27bf4c
-SIZE (Z3Prover-z3-5.0.0.0-z3-5.0.0_GH0.tar.gz) = 6777317
+TIMESTAMP = 1786963284
+SHA256 (Z3Prover-z3-5.1.0.0-z3-5.1.0_GH0.tar.gz) = c433e1add0431c5edf1644bd9951c40588024d2d288f0e4215e5fcb6e3b4277d
+SIZE (Z3Prover-z3-5.1.0.0-z3-5.1.0_GH0.tar.gz) = 6689265