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

GDPopt solver prototype #213

Closed
wants to merge 417 commits into from
Closed

GDPopt solver prototype #213

wants to merge 417 commits into from

Conversation

qtothec
Copy link
Contributor

@qtothec qtothec commented Sep 1, 2017

This is the omnibus PR that I told @jsiirola about on Thurs. Aug 31. It subsumes several other PRs, including #196, #192, #190, #176, #169, and #166.

qtothec and others added 30 commits August 1, 2017 16:20
… adding mapping from transformed constraints back to originals, and adding tests in bigm where there are multiple constraints on a disjunct
The user can specify any combination of descend_into and ctypes.  If you
descend into things other than just Block, then you also need to
generate teh ciuds for those components.
This transformation will reclassify all Disjuncts as Blocks so that the
current writers can locate the indicator_vars.
Disjunction `expr` can return a list of Disjuncts or relational
expressions.  THe latter means that for simple Disjunctions (that only
contain a single expression in the Disjunct) the user does not need to
go through the process of explicitly declaring the Disjunct blocks.
…at don't exist, don't descend into disjuncts)
@qtothec qtothec changed the title GDP solver prototype GDPopt solver prototype Nov 17, 2017
@blnicho
Copy link
Member

blnicho commented Jan 15, 2018

Almost all of the other PRs referenced in the original comment have been merged or closed. @qtothec does is make sense to close this PR and open a new one containing only the changes that have not already been merged? It is going to be really hard to review this PR as is.

@qtothec
Copy link
Contributor Author

qtothec commented Jan 15, 2018

@blnicho Yes. There's also been a number of conflicts that have needed to be resolved, which have been done on my dev branch, but aren't organized in a coherent way here. I will close and re-open a new PR when ready.

@qtothec qtothec closed this Jan 15, 2018
@qtothec qtothec deleted the gdpdt branch February 4, 2018 03:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants