From 871f4a3334857124f5214b37af5872da83d8c899 Mon Sep 17 00:00:00 2001 From: Rajesh Gandham Date: Tue, 14 Oct 2025 06:35:49 -0700 Subject: [PATCH] Switch to using papilo develop branch --- cpp/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/CMakeLists.txt b/cpp/CMakeLists.txt index 90bb1c57f7..d762d42509 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 cliquemergebug branch. Once these changes are merged into the main branch, + # from Oct 12, 2025. Once these changes are merged into the main branch, #we can switch to the main branch. - GIT_TAG "8f710e33d352bf319d30b9c57e70516222f3f5ca" + GIT_TAG "741a2b9c8155b249d6df574d758b4d97d4417520" GIT_PROGRESS TRUE SYSTEM )