diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index fef83a185bf9..fdd221995ad1 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	cadical
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	1.6.0
+DISTVERSION=	1.9.5
 CATEGORIES=	math devel
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Simple CDCL satisfiability solver
 WWW=		http://fmv.jku.at/cadical/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		compiler:c++0x gmake tar:xz
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	arminbiere
 
 GNU_CONFIGURE=	yes
 
 CXXFLAGS+=	-fPIC
 
 MAKEFILE=	makefile
 
 BINARY_ALIAS=	make=${GMAKE}
 
 EXES=		cadical mobical
 
 TEST_TARGET=	test
 
 PLIST_FILES=	${EXES:S/^/bin\//} \
 		include/cadical.hpp \
 		include/ccadical.h \
 		lib/libcadical.a
 
 do-install: # workaround for https://github.com/arminbiere/cadical/issues/49
 .for e in ${EXES}
 	${INSTALL_PROGRAM} ${WRKSRC}/build/${e} ${STAGEDIR}${PREFIX}/bin
 .endfor
 	${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${STAGEDIR}${PREFIX}/include
 	${INSTALL_DATA} ${WRKSRC}/src/ccadical.h ${STAGEDIR}${PREFIX}/include
 	${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
diff --git a/math/cadical/distinfo b/math/cadical/distinfo
index 0efebe577ed3..70b8a9262cef 100644
--- a/math/cadical/distinfo
+++ b/math/cadical/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1687708706
-SHA256 (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 104a271f7448827f5b48798e0b305b150631df6a6bca1106b3d2b4ea4044efab
-SIZE (arminbiere-cadical-rel-1.6.0_GH0.tar.gz) = 618384
+TIMESTAMP = 1709755914
+SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
+SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268