[CP-SAT] check the time limit more frequently; experimental support for lp folding; more pedantic tests in presolve

2024-10-16 14:12:38 +02:00
parent 960d970dd3
commit c930dd656e
37 changed files with 1009 additions and 183 deletions
--- a/ortools/sat/2d_rectangle_presolve_test.cc
+++ b/ortools/sat/2d_rectangle_presolve_test.cc
@@ -207,7 +207,7 @@ TEST(RectanglePresolve, RandomTest) {
  }
 }

-Neighbours NaiveBuildNeighboursGraph(const std::vector<Rectangle>& rectangles) {
+Neighbours NaiveBuildNeighboursGraph(absl::Span<const Rectangle> rectangles) {
  auto interval_intersect = [](IntegerValue begin1, IntegerValue end1,
                               IntegerValue begin2, IntegerValue end2) {
    return std::max(begin1, begin2) < std::min(end1, end2);