feat(planner): depend on sketch-bench rqe-optimizer MILP (#794)

Add rqe-optimizer (sketch-bench main) as a git dependency of asap-planner-rs
with a smoke test that solves a one-query MILP through HiGHS. Install cmake
and libclang-dev for the HiGHS build in the planner and query-engine images
and in the CI jobs that compile the planner.

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Author: milindsrivastava1997

.github/workflows/correctness.yml

@@ -110,10 +110,10 @@ jobs:
       - name: Install Rust
         uses: dtolnay/rust-toolchain@stable
 
-      - name: Install protoc
+      - name: Install protoc and HiGHS build deps
         run: |
           sudo apt-get update -qq
-          sudo apt-get install -y protobuf-compiler
+          sudo apt-get install -y protobuf-compiler cmake libclang-dev
 
       - name: Run sccache
         uses: mozilla-actions/sccache-action@v0.0.4

.github/workflows/rust.yml

@@ -46,10 +46,10 @@ jobs:
         toolchain: stable
         components: rustfmt, clippy
 
-    - name: Install protoc
+    - name: Install protoc and HiGHS build deps
       run: |
         sudo apt-get update
-        sudo apt-get install -y protobuf-compiler
+        sudo apt-get install -y protobuf-compiler cmake libclang-dev
 
     - name: Run sccache-cache
       uses: mozilla-actions/sccache-action@v0.0.4
@@ -82,10 +82,10 @@ jobs:
       with:
         toolchain: stable
 
-    - name: Install protoc
+    - name: Install protoc and HiGHS build deps
       run: |
         sudo apt-get update
-        sudo apt-get install -y protobuf-compiler
+        sudo apt-get install -y protobuf-compiler cmake libclang-dev
 
     - name: Run sccache-cache
       uses: mozilla-actions/sccache-action@v0.0.4

Cargo.lock

@@ -41,6 +41,7 @@ indexmap.workspace = true
 chrono.workspace = true
 promql-parser = "0.5.0"
 reqwest = { version = "0.11", features = ["blocking", "json"] }
+rqe-optimizer = { git = "https://github.com/ProjectASAP/sketch-bench", branch = "main" }
 
 [dev-dependencies]
 tempfile = "3.20"

asap-planner-rs/Cargo.toml

@@ -5,9 +5,11 @@ LABEL description="ASAP Planner (Rust) for SketchDB"
 
 WORKDIR /code
 
-# Required by prost-build dependencies during cargo build
+# protobuf-compiler: prost-build. cmake, libclang-dev: HiGHS (rqe-optimizer's MILP solver).
 RUN apt-get update && apt-get install -y --no-install-recommends \
     protobuf-compiler \
+    cmake \
+    libclang-dev \
     && rm -rf /var/lib/apt/lists/*
 
 COPY asap-common ./asap-common
@@ -42,6 +44,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     ca-certificates \
     libssl3 \
     zlib1g \
+    libstdc++6 \
     && rm -rf /var/lib/apt/lists/*
 
 RUN mkdir -p /app/input /app/output