Skip to content

Conversation

@maxstb
Copy link
Contributor

@maxstb maxstb commented Apr 6, 2022

No description provided.

Copy link
Member

@odow odow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are there any other parameters that need to be set before the environment is started? If so, we should probably make a general fix, rather than these two explicitly parameters.

maxstb and others added 2 commits April 6, 2022 11:44
Co-authored-by: Oscar Dowson <odow@users.noreply.github.com>
Co-authored-by: Oscar Dowson <odow@users.noreply.github.com>
@maxstb
Copy link
Contributor Author

maxstb commented Apr 6, 2022

Are there any other parameters that need to be set before the environment is started? If so, we should probably make a general fix, rather than these two explicitly parameters.

I don't know about other parameters yet.

Copy link
Member

@odow odow left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should do for now then. Don't worry about the CI failure, you don't have access to the license.

@maxstb
Copy link
Contributor Author

maxstb commented Apr 6, 2022

Perfect, Thanks :)

@jd-foster
Copy link
Contributor

jd-foster commented Apr 6, 2022

Are there any other parameters that need to be set before the environment is started? If so, we should probably make a general fix, rather than these two explicitly parameters.

As far as I can tell, MemLimit is the only parameter that must be set before the environment is started. The other information read at this point are the settings in the gurobi.lic file.

@odow odow merged commit dc977e5 into jump-dev:master Apr 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants