diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile
index 48e9f97db5a1..8a2c481c0b53 100644
--- a/math/bitwuzla/Makefile
+++ b/math/bitwuzla/Makefile
@@ -1,49 +1,56 @@
 PORTNAME=	bitwuzla # successor of Boolector
-DISTVERSION=	0.9.0
+DISTVERSION=	0.9.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver for the theories of fixed-size bit-vectors
 WWW=		https://bitwuzla.github.io/ \
 		https://github.com/bitwuzla/bitwuzla
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	gmp>0:math/gmp \
 		${LOCALBASE}/lib/symfpu.a:math/symfpu
 LIB_DEPENDS=	libcadical.so:math/cadical \
 		libcryptominisat5.so:math/cryptominisat \
 		libgmp.so:math/gmp \
 		libmpfr.so:math/mpfr
 TEST_DEPENDS=	googletest>0:devel/googletest
 
 USES=		compiler:c++17-lang localbase:ldflags meson pkgconfig python:build
 USE_GITHUB=	yes
 USE_LDCONFIG=	yes
 
 CFLAGS+=	-I${LOCALBASE}/include/cadical
 CXXFLAGS+=	-I${LOCALBASE}/include/cadical
 LDFLAGS+=	-lcadical
 
 MESON_ARGS=	-Ddefault_library=shared \
 		-Dtesting=disabled
 
 BINARY_ALIAS=	git=false
 
 do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117
 	@cd ${WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CONFIGURE_CMD} ${CONFIGURE_ARGS} -Dtesting=enabled && \
 		cd ${BUILD_WRKSRC} && \
 		${DO_MAKE_BUILD} test
 
 # tests as of 0.9.0:
 # Ok:                 4214
 # Expected Fail:      0   
 # Fail:               0   
 # Unexpected Pass:    0   
 # Skipped:            0   
 # Timeout:            0
 # Timeout:            0
 
+# tests as of 0.9.1:
+# Summary of Failures:
+#   77/4260 unit+fp - bitwuzla:fp_fp_from                                                            FAIL             1.23s   exit status 1
+# 
+#   Ok:                4259
+#   Fail:              1   
+
 .include <bsd.port.mk>
diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo
index c3583c56387c..d69d13be086c 100644
--- a/math/bitwuzla/distinfo
+++ b/math/bitwuzla/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1773732799
-SHA256 (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = e15420eaaef586c0d02d4b46cf3bdf203ba2511147b0decab99a9df9c9f115ca
-SIZE (bitwuzla-bitwuzla-0.9.0_GH0.tar.gz) = 2494794
+TIMESTAMP = 1779806763
+SHA256 (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 42707f38900a20bb18108e426ba667560d1fd2ccce0d4f75aa60439b546488b4
+SIZE (bitwuzla-bitwuzla-0.9.1_GH0.tar.gz) = 2507441