diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index cbceca293d81..c1f93f9bc0ff 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	z3-solver
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.13.3
+DISTVERSION=	4.14.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -44,6 +44,7 @@ do-test:
 		${ECHO} "==> running the example ${e}" && \
 		${SETENV} ${TEST_ENV} ${PYTHON_CMD} ${FILESDIR}/example-${e}.py && \
 		${ECHO} "... example ${e} succeeded"
+	@${ECHO} "All tests succeeded."
 .endfor
 
 .include <bsd.port.mk>
diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo
index 3a3e98e88025..7626b5b86593 100644
--- a/math/py-z3-solver/distinfo
+++ b/math/py-z3-solver/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1731045651
-SHA256 (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0
-SIZE (Z3Prover-z3-z3-4.13.3_GH0.tar.gz) = 5583533
+TIMESTAMP = 1742764116
+SHA256 (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 81a02c2c64c64d6c3df233f59186b95627990ada0c4c2fc901c9c25a7072672a
+SIZE (Z3Prover-z3-z3-4.14.1_GH0.tar.gz) = 5844214