diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index a2c35fe559ff..17fee420249b 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,53 +1,53 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	4.0.3
+DISTVERSION=	4.0.4
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Kissat SAT Solver
 WWW=		https://fmv.jku.at/kissat \
 		https://github.com/arminbiere/kissat
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		gmake
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	arminbiere
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--shared --kitten --statistics
 
 MAKEFILE=	makefile
 
 TEST_TARGET=	test
 
 PLIST_FILES=	bin/kissat \
 		bin/kitten \
 		include/${PORTNAME}/kissat.h \
 		lib/libkissat.a \
 		lib/libkissat.so
 
 post-configure: # adjust compilation and link options
 	@${REINPLACE_CMD} -E ' \
 		s|-O -DNDEBUG|-DNDEBUG|; \
 		s|^CC=.*|& ${CFLAGS}|; \
 		s|^LD=.*|& ${LDFLAGS}|' \
 		${WRKSRC}/build/makefile
 
 do-install: # https://github.com/arminbiere/kissat/issues/62
 	# executables
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kitten ${STAGEDIR}${PREFIX}/bin
 	# header
 	${MKDIR} ${STAGEDIR}${PREFIX}/include/${PORTNAME}
 	${INSTALL_DATA} ${WRKSRC}/src/kissat.h ${STAGEDIR}${PREFIX}/include/${PORTNAME}
 	# libs
 	${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib
 
-# tests as of 4.0.3: All 1043 test jobs succeeded in 6.65 seconds.
+# tests as of 4.0.4: All 1043 test jobs succeeded in 0.85 seconds.
 
 .include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 5616f9414e86..0723dc6f8be7 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1751232358
-SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971
-SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881
+TIMESTAMP = 1762317948
+SHA256 (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193
+SIZE (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = 532329