Update dependencies

Author: fontanf

.github/workflows/build.yml

@@ -24,8 +24,8 @@ jobs:
       uses: actions/setup-python@v4
       with:
         python-version: ${{ matrix.python-version }}
-    - name: Install nauty
-      run: sudo apt-get install -y libnauty2-dev
+    - name: Install dependencies
+      run: sudo apt-get -y install liblapack-dev libbz2-dev
       if: matrix.os == 'ubuntu-latest'
     - name: Install CLP (MacOS)
       run: |

extern/CMakeLists.txt

@@ -15,7 +15,7 @@ FetchContent_MakeAvailable(Boost)
 FetchContent_Declare(
     optimizationtools
     GIT_REPOSITORY https://github.com/fontanf/optimizationtools.git
-    GIT_TAG a0973a7dfa64b9d305f75879c80d252e714ce2cf
+    GIT_TAG dd6359ddc0996247f3a571e5d71606286dbab326
     #SOURCE_DIR "${PROJECT_SOURCE_DIR}/../optimizationtools/"
     EXCLUDE_FROM_ALL)
 FetchContent_MakeAvailable(optimizationtools)
@@ -39,7 +39,7 @@ endif()
 FetchContent_Declare(
     mathoptsolverscmake
     GIT_REPOSITORY https://github.com/fontanf/mathoptsolverscmake.git
-    GIT_TAG 80cd13a843e2c10684abbfe76cf9aae0d71ff79d
+    GIT_TAG 4472814a28a40f4d861ccd757e140835c3a31bd0
     #SOURCE_DIR "${PROJECT_SOURCE_DIR}/../mathoptsolverscmake/"
     EXCLUDE_FROM_ALL)
 FetchContent_MakeAvailable(mathoptsolverscmake)

src/clique/algorithms/local_search.cpp

@@ -555,7 +555,7 @@ const Output stablesolver::clique::local_search(
     llsbfls_parameters.initial_solution_ids = std::vector<Counter>(
             llsbfls_parameters.number_of_threads_2, 0);
     bool end = false;
-    llsbfls_parameters.timer.set_end_boolean(&end);
+    llsbfls_parameters.timer.add_end_boolean(&end);
     llsbfls_parameters.new_solution_callback
         = [&instance, &output, &algorithm_formatter, &end](
                 const localsearchsolver::Output<LocalScheme>& lss_output)