diff --git a/math/cadical/Makefile b/math/cadical/Makefile
index f8e39d9c1d5e..044ecfaffdd0 100644
--- a/math/cadical/Makefile
+++ b/math/cadical/Makefile
@@ -1,56 +1,55 @@
 PORTNAME=	cadical
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	1.9.5
-PORTREVISION=	1
+DISTVERSION=	2.0.0
 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
 
 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 \
 		lib/libcadical.so \
 		lib/libcadical.so.${DISTVERSION}
 
 post-build: # build shared library
 	@${ECHO} "==> Building the shared library"
 	cd ${WRKSRC}/src && ${CXX} \
 		-shared -Wl,-soname=lib${PORTNAME}.so.$(DISTVERSION) -fPIC \
 		-DNDEBUG \
 		${CXXFLAGS} ${LDFLAGS} \
 		`${ECHO} *.cpp | ${SED} -e "s/cadical\.cpp//; s/mobical\.cpp//"` \
 		-I ${WRKSRC}/build \
 		-o ${WRKSRC}/build/lib${PORTNAME}.so.${DISTVERSION}
 
 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
 	${INSTALL_LIB} ${WRKSRC}/build/libcadical.so.${DISTVERSION} ${STAGEDIR}${PREFIX}/lib
 	cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libcadical.so.${DISTVERSION} libcadical.so
 
 .include <bsd.port.mk>
diff --git a/math/cadical/distinfo b/math/cadical/distinfo
index 70b8a9262cef..7c8447d30fa9 100644
--- a/math/cadical/distinfo
+++ b/math/cadical/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1709755914
-SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
-SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268
+TIMESTAMP = 1727899500
+SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
+SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136