-
Notifications
You must be signed in to change notification settings - Fork 526
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
Conversation
… adding mapping from transformed constraints back to originals, and adding tests in bigm where there are multiple constraints on a disjunct
…things (dict comprehension)
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.
…s tests of tiny example to convex hull
…at don't exist, don't descend into disjuncts)
Allow NLP presolve callback hook. Allow specification of stall_after Modify OA cut generation
Add reporting of number of OA cuts added. Fix implementation of ignore_set for OA cuts.
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. |
@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. |
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.