Skip to content

[CP-SAT] more work on lrat, regroup linear1 presolve methods #3582

[CP-SAT] more work on lrat, regroup linear1 presolve methods

[CP-SAT] more work on lrat, regroup linear1 presolve methods #3582

Triggered via push December 27, 2025 10:59
Status Success
Total duration 1h 24m 5s
Artifacts
Matrix: native
amd64_linux_cmake_cpp
5s
amd64_linux_cmake_cpp
Fit to window
Zoom out
Zoom in

Annotations

1 warning
amd64•Linux•CMake(NinjaMulti)•C++
Cache save failed.