Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Missing muprover.sh #1

Open
jbdatascience opened this issue May 13, 2021 · 0 comments
Open

Missing muprover.sh #1

jbdatascience opened this issue May 13, 2021 · 0 comments

Comments

@jbdatascience
Copy link

jbdatascience commented May 13, 2021

I am having trouble trying to start all processes at once, trying to it on Google COLAB.
There should be a script named muprover.sh, but it is not there !

And would it then be possible to run that on Google COLAB, I mean all these 5 processes so that the whole training process can be running in 1 Google COLAB Notebook asynchronously, distributed?

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

No branches or pull requests

1 participant