Skip to content

Gurobi license management#98

Merged
whart222 merged 1 commit intodevfrom
dev-weh
Feb 14, 2025
Merged

Gurobi license management#98
whart222 merged 1 commit intodevfrom
dev-weh

Conversation

@whart222
Copy link
Collaborator

More careful license management and error message from Gurobi.

More careful license management and error message from Gurobi.
@whart222 whart222 merged commit fdb5da1 into dev Feb 14, 2025
4 checks passed
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