diff --git a/math/yices/Makefile b/math/yices/Makefile
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -1,31 +1,32 @@
 PORTNAME=	yices
-DISTVERSION=	2.6.5
+DISTVERSION=	2.7.0
 CATEGORIES=	math
-MASTER_SITES=	https://yices.csl.sri.com/releases/${DISTVERSION}/
-DISTNAME=	${PORTNAME}-${DISTVERSION}-src
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver
-WWW=		https://yices.csl.sri.com/
+WWW=		https://yices.csl.sri.com/ \
+		https://github.com/SRI-CSL/yices2/
 
-LICENSE=	GPLv3
-LICENSE_FILE=	${WRKSRC}/LICENSE
+LICENSE=	GPLv3+
+LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 BUILD_DEPENDS=	gperf:devel/gperf
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		autoreconf compiler:c11 gmake localbase
+USE_GITHUB=	yes
+GH_ACCOUNT=	SRI-CSL
+GH_PROJECT=	yices2
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-pic-gmp=${LOCALBASE}/lib/libgmp.so
 
 MAKE_ARGS=	YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
-CFLAGS+=	-fPIC
-
-TEST_TARGET=	test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523
+TEST_TARGET=	test
 
-WRKSRC=		${WRKDIR}/yices-${DISTVERSION}
+CFLAGS+=	-fPIC
+PIE_UNSAFE=	yes
 
 post-install: # strip binaries
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
diff --git a/math/yices/distinfo b/math/yices/distinfo
--- a/math/yices/distinfo
+++ b/math/yices/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1724046623
-SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d
-SIZE (yices-2.6.5-src.tar.gz) = 6149050
+TIMESTAMP = 1758459988
+SHA256 (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 1fec19d9a72a79b731148ff904671a3502145912eaea0bee40e5d11d72ff6cc8
+SIZE (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 10460379
diff --git a/math/yices/pkg-plist b/math/yices/pkg-plist
--- a/math/yices/pkg-plist
+++ b/math/yices/pkg-plist
@@ -10,4 +10,4 @@
 include/yices_types.h
 lib/libyices.a
 lib/libyices.so
-lib/libyices.so.2.6
+lib/libyices.so.2.7