Skip to content

gurobi: add support for last version (#5030)#5037

Merged
Mizux merged 1 commit intomainfrom
mizux/gurobi
Feb 9, 2026
Merged

gurobi: add support for last version (#5030)#5037
Mizux merged 1 commit intomainfrom
mizux/gurobi

Conversation

@Mizux
Copy link
Copy Markdown
Collaborator

@Mizux Mizux commented Feb 9, 2026

@Mizux Mizux added this to the v10.0 Beta milestone Feb 9, 2026
@Mizux Mizux self-assigned this Feb 9, 2026
@Mizux Mizux added Bug Solver: Gurobi GUROBI Solver related issue labels Feb 9, 2026
@Mizux Mizux merged commit 1cf3019 into main Feb 9, 2026
17 of 22 checks passed
@Mizux Mizux deleted the mizux/gurobi branch February 9, 2026 14:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bug Solver: Gurobi GUROBI Solver related issue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant