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.

Sign up for GitHub

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

Jump to bottom

Solutions and suffixes pre- / postsolve #184

Open
4 of 6 tasks
glebbelov opened this issue Jul 13, 2022 · 0 comments
Open
4 of 6 tasks

Solutions and suffixes pre- / postsolve #184

glebbelov opened this issue Jul 13, 2022 · 0 comments
Assignees
@glebbelov
Labels
enhancement

Comments

@glebbelov
Copy link
Contributor

glebbelov commented Jul 13, 2022 •
edited
Loading

Propagate solutions and suffixes to / from expression trees and the solver model.

  • Implement .FuncPieces and other Gurobi attributes for non-linear functional constraints
  • Warn about contradicting suffix values for subexpressions
  • Have a default / configurable resolve mechanism
  • But only for constraints using that suffix
    • This is necessary because, e.g., Gurobi does not accept FuncPieces attr for other general constraints
  • Possibly, API for automatic delivery of such suffixes (no user Pre- / Postsolve code). Done?
  • For solutions, take e.g. dual value only for the main constraint of the group
@glebbelov glebbelov self-assigned this Jul 13, 2022
glebbelov added a commit that referenced this issue Jul 13, 2022
@glebbelov
Default conflict resolution in ValueNode #184
d4bb059 
Prefer maximal of two non-0 suffix values
glebbelov added a commit that referenced this issue Jul 14, 2022
@glebbelov
To #184: zero-out ValueNodes before new suffix propagation
b739cf3
glebbelov added a commit that referenced this issue Jul 18, 2022
@glebbelov
To #184: propagate suffixes via expression trees
8714fd6
glebbelov added a commit that referenced this issue Jul 18, 2022
@glebbelov
To #184: prepare .funcpieces...
80bc86e
glebbelov added a commit that referenced this issue Jul 19, 2022
@glebbelov
To #184: option cvt:writegraph
ff7435d
glebbelov added a commit that referenced this issue Jul 20, 2022
@glebbelov
To #184: finish .funcpieces
1180d7a 
By fixing autolinking
@glebbelov glebbelov mentioned this issue Jul 21, 2022
Open
3 tasks
glebbelov added a commit that referenced this issue Jul 21, 2022
@glebbelov
To #184: filter Gurobi FuncPieces... attributes
e3b3558 
They should only be set for approximated constraints
glebbelov added a commit that referenced this issue Jul 26, 2022
@glebbelov
Docu: .funcpieces, .iis #184
d34246e 
Also restructure 'Expressions Supported'
glebbelov added a commit that referenced this issue Jul 29, 2022
@glebbelov
Fix writegraph #184
012b196 
Flush valuepresolve export after adding model to solver where more links are added
glebbelov added a commit that referenced this issue Jul 24, 2023
@glebbelov
Restore propagation from objective #184
d1e6522 
Restoring objective value is ensured by CopyLink which copies without conflict resolution
glebbelov added a commit that referenced this issue Oct 6, 2023
@glebbelov
Tests for logcon suffixes #184
a1ac4e5
glebbelov added a commit that referenced this issue Oct 10, 2023
@glebbelov
More tests for #184
3a51330 
Also for ampl/escrow/#141
glebbelov added a commit that referenced this issue Jan 11, 2024
@glebbelov
Many2ManyLink, Many2OneLink #184
72c64d9
@glebbelov glebbelov changed the title Suffixes via expression trees Solutions and suffixes pre- / postsolve Nov 27, 2024
glebbelov added a commit that referenced this issue Nov 27, 2024
@glebbelov
Solution postsolve: dual for the main constraint only #184
2d40f2f 
Also: fix storage of sparsity patterns in MP2NL #237
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@glebbelov glebbelov

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@glebbelov