Skip to content

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

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

🔔 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

🔔 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

Labels

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants