From 135bd5dd10cb3bcbfb358df1a24a0df4fc09dc71 Mon Sep 17 00:00:00 2001 From: Rajesh Gandham Date: Tue, 7 Oct 2025 19:02:27 -0700 Subject: [PATCH 1/2] Disable TBB because of a bug in CliqueMerging presolver --- cpp/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpp/CMakeLists.txt b/cpp/CMakeLists.txt index 44b43ab440..0a3151654a 100644 --- a/cpp/CMakeLists.txt +++ b/cpp/CMakeLists.txt @@ -201,6 +201,8 @@ find_package(TBB REQUIRED) set(BUILD_TESTING OFF CACHE BOOL "Disable test build for papilo") set(PAPILO_NO_BINARIES ON) option(LUSOL "Disable LUSOL" OFF) +# Disable TBB because of a bug in CliqueMerging parallel version +set(TBB OFF CACHE BOOL "Disable TBB for papilo") FetchContent_MakeAvailable(papilo) From c1addb3f3f5d9fbb850bce01a216042a17b2ef73 Mon Sep 17 00:00:00 2001 From: Rajesh Gandham Date: Wed, 8 Oct 2025 06:37:33 -0700 Subject: [PATCH 2/2] Get the latest version from Papilo --- cpp/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/CMakeLists.txt b/cpp/CMakeLists.txt index 0a3151654a..cb17f0c4a2 100644 --- a/cpp/CMakeLists.txt +++ b/cpp/CMakeLists.txt @@ -190,9 +190,9 @@ FetchContent_Declare( # does not have some of the presolvers and settings that we need # Mainly, probing and clique merging. # This is the reason we are using the development branch - # commit from Sep 26, 2025. Once these changes are merged into the main branch, + # commit from Oct 8, 2025. Once these changes are merged into the main branch, #we can switch to the main branch. - GIT_TAG "34a40781fa14f8870cb6368cffb6c0eda2f47511" + GIT_TAG "24ccf5752656df0f15dd9aabe5b97feae829b9ec" GIT_PROGRESS TRUE SYSTEM )