diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index 927c0c56907a..5b29e5c15f38 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,45 +1,43 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	3.0.0
+DISTVERSION=	3.1.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Kissat SAT Solver
 WWW=		http://fmv.jku.at/kissat/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		gmake
 USE_LDCONFIG=	yes
 
-USE_GITHUB=	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
 
 do-install:
 	# 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
 
 .include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index eceab4b7f0d7..1e28c6d91a28 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1675723942
-SHA256 (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 230895b3beaec5f2c78f6cc520a7db94b294edf244cbad37e2ee6a8a63bd7bdf
-SIZE (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 466704
+TIMESTAMP = 1687668870
+SHA256 (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = e85c757179bf7d96d21d2d6e3f0a8f2337d416b0e13ae065a9a8d52e30048bd3
+SIZE (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = 470710