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
Adding logical_to_disjunctive, moving GDP transformations from logical-to-linear to logical-to-disjunctive #2627
Adding logical_to_disjunctive, moving GDP transformations from logical-to-linear to logical-to-disjunctive #2627
Changes from all commits
1e911c5
d2c3e4c
ee91da8
45ccf5c
bd8aa88
3ace928
102319c
52700a8
f01f8e5
b90024d
711cff6
36d68d4
27f808a
4a548c9
63afe4e
9af5a82
b40922f
ae09b77
efb997e
1d6f706
81861b7
5085bf1
6e33f83
9763f09
f8ef97f
74caa9a
1c5c970
3c17da5
ca0a2b1
b5de277
0e2b82c
5fa4944
afe4ec0
0b962c4
2372f6a
b9b886c
020c3f4
3154dc5
420d14a
a88b395
8251de2
1669eb1
dcfb7ff
857cdc5
5b53c50
96c4dc5
013a007
706865d
245b3ca
e635433
79fb642
dcd3179
88b9d41
600996a
971ddc5
a9c6b2b
5e885ca
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing