Skip to content

Dump presolved problem to file#459

Open
hlinsen wants to merge 1 commit intoNVIDIA:release/26.02from
hlinsen:dump-presolve
Open

Dump presolved problem to file#459
hlinsen wants to merge 1 commit intoNVIDIA:release/26.02from
hlinsen:dump-presolve

Conversation

@hlinsen
Copy link
Contributor

@hlinsen hlinsen commented Oct 7, 2025

No description provided.

@hlinsen hlinsen requested a review from a team as a code owner October 7, 2025 18:24
@hlinsen hlinsen added non-breaking Introduces a non-breaking change improvement Improves an existing functionality labels Oct 7, 2025
@chris-maes
Copy link
Contributor

chris-maes commented Oct 7, 2025

Do you want to write both the original problem and the presolved problem out? Maybe you could append '.pre' to the filename for the presolved problem?

@github-actions
Copy link

github-actions bot commented Oct 15, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@anandhkb anandhkb added this to the 25.12 milestone Oct 17, 2025
@rgsl888prabhu rgsl888prabhu changed the base branch from branch-25.10 to main October 22, 2025 17:02
@github-actions
Copy link

github-actions bot commented Oct 30, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

2 similar comments
@github-actions
Copy link

github-actions bot commented Nov 6, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Nov 14, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@rgsl888prabhu rgsl888prabhu changed the base branch from main to release/25.12 November 17, 2025 21:37
@github-actions
Copy link

github-actions bot commented Nov 25, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@chris-maes
Copy link
Contributor

chris-maes commented Nov 25, 2025

Moving this out of the 25.12 release. If you want to keep this @hlinsen, feel free to move it back.

@chris-maes chris-maes modified the milestones: 25.12, 26.02 Nov 25, 2025
@github-actions
Copy link

github-actions bot commented Dec 3, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

6 similar comments
@github-actions
Copy link

github-actions bot commented Dec 10, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Dec 17, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Dec 25, 2025

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Jan 1, 2026

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Jan 8, 2026

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@github-actions
Copy link

github-actions bot commented Jan 16, 2026

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

@rg20
Copy link
Contributor

rg20 commented Jan 22, 2026

@hlinsen is this going in for 26.02?

@rg20 rg20 changed the base branch from release/25.12 to main January 22, 2026 14:37
@rg20 rg20 removed this from the 26.02 milestone Jan 22, 2026
@rgsl888prabhu rgsl888prabhu changed the base branch from main to release/26.02 January 22, 2026 16:50
@github-actions
Copy link

github-actions bot commented Jan 30, 2026

🔔 Hi @anandhkb, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you!

If this is an "epic" issue, then please add the "epic" label to this issue.
If it is a PR and not ready for review, then please convert this to draft.
If you just want to switch off this notification, then use the "skip inactivity reminder" label.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@akifcorduk akifcorduk Awaiting requested review from akifcorduk akifcorduk is a code owner automatically assigned from NVIDIA/cuopt-engine-codeowners

@aliceb-nv aliceb-nv Awaiting requested review from aliceb-nv aliceb-nv is a code owner automatically assigned from NVIDIA/cuopt-engine-codeowners

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

improvement Improves an existing functionality non-breaking Introduces a non-breaking change

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@hlinsen @chris-maes @rg20 @anandhkb