Skip to content

Drop ScipOutputFormat#894

Merged
jupblb merged 1 commit into
mainfrom
michal/scipopt
Jun 2, 2026
Merged

Drop ScipOutputFormat#894
jupblb merged 1 commit into
mainfrom
michal/scipopt

Conversation

@jupblb
Copy link
Copy Markdown
Member

@jupblb jupblb commented Jun 2, 2026

Only emit protobuf SCIP

@jupblb jupblb merged commit 0ceebdb into main Jun 2, 2026
12 checks passed
@jupblb jupblb deleted the michal/scipopt branch June 2, 2026 10:54
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.

1 participant