Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Adds distributed support for several solvers #976
Adds distributed support for several solvers #976
Changes from 29 commits
6b57030
0145f14
c0f9289
33df1cf
524fc39
cd729de
7784dc4
9885d58
55e7b40
38ccce9
f5e1e56
0ff3f0f
de54da6
b9351a5
370ca74
bc05ee6
8f5e6c7
822646c
b3f99fb
d6ad6c5
c8d5b2f
549cf9d
4c4ec62
c134687
4182437
1c114ff
8c3add8
8c3e791
a6d00b7
1d8d148
af1e7ca
c05f6a1
0f58c62
f504af1
6dc6667
33fd976
be0983f
06f9221
cae4b88
8113be4
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing