Skip to content

Conversation

@mmghannam
Copy link
Member

@mmghannam mmghannam commented May 5, 2025

Gives access to SCIP's probing mode, through the method model.start_probing() which gives you a Prober object that allows access to probing methods, like changing the variable bounds or objective function coefficient and creating (temporary) sub-nodes e.g. to explore the effect of branching.

The probing mode is exited automatically when the Prober object is dropped.

@mmghannam mmghannam requested a review from Copilot May 5, 2025 16:31
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds support for probing mode methods to the SCIP wrapper by introducing LP construction checks, a new Prober struct with various probing functions, and integrating probing functionality into the core model.

  • Added new methods to ScipPtr for checking and constructing LP status.
  • Introduced a Prober struct with methods for managing probing nodes, variable modifications, LP solving, and propagation.
  • Updated the Model to include a start_probing method and added a new probing module.

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 2 comments.

File Description
src/scip.rs Added LP construction methods to support LP probing mode.
src/probing.rs Introduced a new Prober struct with probing-related functions.
src/model.rs Integrated probing functionality via the start_probing method.
src/lib.rs Registered the new probing module.

@mmghannam mmghannam marked this pull request as ready for review May 6, 2025 07:32
@mmghannam mmghannam merged commit 0a95dcc into main May 6, 2025
16 checks passed
@mmghannam mmghannam deleted the probing branch May 6, 2025 07:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants