Index: head/math/boolector/Makefile
===================================================================
--- head/math/boolector/Makefile	(revision 518998)
+++ head/math/boolector/Makefile	(revision 518999)
@@ -1,31 +1,31 @@
 # $FreeBSD$
 
 PORTNAME=	boolector
-DISTVERSION=	3.0.0-239
-PORTREVISION=	1
-DISTVERSIONSUFFIX=	-g0b4b8540
+DISTVERSION=	3.1.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Satisfiability Modulo Theories (SMT) solver
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
-BUILD_DEPENDS=	picosat>0:math/picosat
-LIB_DEPENDS=	libbtor2parser.so:math/btor2tools
+BUILD_DEPENDS=	cadical>0:math/cadical
+LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
+		libminisat.so:math/minisat \
+		libpicosat.so:math/picosat
 
 USES=		cmake:noninja compiler:c++11-lang # ninja fails to build tests
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 
 do-test: # tests assume that python-3.6 is installed # some tests fail: https://github.com/Boolector/boolector/issues/53
 	@${REINPLACE_CMD} 's|#!/usr/bin/env python2|#!${LOCALBASE}/bin/python3.6|' ${WRKSRC}/contrib/btorcheckmodel.py
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
 
 .include <bsd.port.mk>
Index: head/math/boolector/distinfo
===================================================================
--- head/math/boolector/distinfo	(revision 518998)
+++ head/math/boolector/distinfo	(revision 518999)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1560489123
-SHA256 (Boolector-boolector-3.0.0-239-g0b4b8540_GH0.tar.gz) = f0de750314c8075f6adb9f88a72c7efb897e52d53dc06b41b9beceec0f163765
-SIZE (Boolector-boolector-3.0.0-239-g0b4b8540_GH0.tar.gz) = 1372029
+TIMESTAMP = 1575434687
+SHA256 (Boolector-boolector-3.1.0_GH0.tar.gz) = 0c799f4e835e7f20ae7ecf7c3c8a99b9638b01cfe7b7f5dd1bc93ac478a0b06c
+SIZE (Boolector-boolector-3.1.0_GH0.tar.gz) = 1548782
Index: head/math/boolector/files/patch-CMakeLists.txt
===================================================================
--- head/math/boolector/files/patch-CMakeLists.txt	(revision 518998)
+++ head/math/boolector/files/patch-CMakeLists.txt	(revision 518999)
@@ -1,18 +1,29 @@
---- CMakeLists.txt.orig	2019-05-30 02:33:58 UTC
+--- CMakeLists.txt.orig	2019-12-02 22:50:20 UTC
 +++ CMakeLists.txt
-@@ -402,11 +402,15 @@ configure_file(
-   ${CMAKE_CURRENT_BINARY_DIR}/src/btorconfig.h)
+@@ -434,20 +434,24 @@ configure_file(
+ # Regression tests
  
- # Enable CTest
+ # Get and configure google test
 +if (BUILD_TESTING)
- enable_testing()
+ include(cmake/googletest.cmake)
+ fetch_googletest(
+     ${PROJECT_SOURCE_DIR}/cmake
+     ${PROJECT_BINARY_DIR}/googletest
+     )
+ 
+-enable_testing()
++  enable_testing()
 +endif(BUILD_TESTING)
  
+ #-----------------------------------------------------------------------------#
+ # Source directories
+ 
  include_directories(src ${CMAKE_CURRENT_BINARY_DIR}/src)
  add_subdirectory(src)
+-add_subdirectory(test)
 +if (BUILD_TESTING)
- add_subdirectory(test)
++  add_subdirectory(test)
 +endif(BUILD_TESTING)
  if(PYTHON)
    add_subdirectory(src/api/python)
  endif()
Index: head/math/boolector/files/patch-src_CMakeLists.txt
===================================================================
--- head/math/boolector/files/patch-src_CMakeLists.txt	(revision 518998)
+++ head/math/boolector/files/patch-src_CMakeLists.txt	(revision 518999)
@@ -1,11 +1,11 @@
---- src/CMakeLists.txt.orig	2019-06-14 07:01:21 UTC
+--- src/CMakeLists.txt.orig	2019-12-04 04:46:17 UTC
 +++ src/CMakeLists.txt
-@@ -129,7 +129,7 @@ set_target_properties(boolector-bin
-   PROPERTIES
-     OUTPUT_NAME boolector
-     RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/bin)
--if(NOT SHARED AND NOT APPLE)
-+if(NOT SHARED AND NOT APPLE AND NOT ${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD")
-   set_target_properties(boolector-bin
-     PROPERTIES
-       LINK_FLAGS "-static -Wl,--no-export-dynamic"
+@@ -195,7 +195,7 @@ target_link_libraries(btorimc boolector)
+ #-----------------------------------------------------------------------------#
+ # Static binaries
+ 
+-if(NOT BUILD_SHARED_LIBS AND NOT APPLE)
++if(NOT BUILD_SHARED_LIBS AND NOT APPLE AND NOT ${CMAKE_SYSTEM_NAME} MATCHES "FreeBSD")
+   set(BTOR_STATIC_FLAGS "-static")
+   set(STATIC_TARGETS boolector-bin btormc btoruntrace btorimc)
+ 
Index: head/math/boolector/pkg-plist
===================================================================
--- head/math/boolector/pkg-plist	(revision 518998)
+++ head/math/boolector/pkg-plist	(revision 518999)
@@ -1,9 +1,9 @@
 bin/boolector
 bin/btormc
 include/boolector/boolector.h
 include/boolector/btortypes.h
 lib/cmake/Boolector/BoolectorConfig.cmake
 lib/cmake/Boolector/BoolectorConfigVersion.cmake
 lib/cmake/Boolector/BoolectorTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/Boolector/BoolectorTargets.cmake
-lib/libboolector.a
+lib/libboolector.so