Carleton Coffrin

Indeed. This repeated AC Power Flow problem crops up many places in power systems research and there are similar use-cases in all infrastructure sectors and I would guess MPC as...

> A relatively simple to implement strategy for debugging infeasibility is to do a sort of bisection search on a list of constraint names by turning off half, say, at...

Here is another reference for prior art, [Math Program Inspector](https://documentation.aimms.com/user-guide/creating-and-managing-a-model/the-math-program-inspector/index.html).

I also noticed that validation of large files can be time consuming. I am seeing 10-40 seconds (depending on the complexity of the schema) required to validate a json file...

Given that warm starting IPM methods is not so easy. The benefit of this feature will required rigorous benchmarking to ensure it provides a performance gain.

Different solvers will have very different needs for pre-solving, so I am not quite sure if this can be abstracted outside of the specific solvers, but it is worth investigating...

On this topic, a nice example was provided in https://github.com/lanl-ansi/Juniper.jl/issues/156 Removing obviously redundant constraints is needed pre-solve feature. Example working with Julia v1.7, JuMP v0.23, Juniper v0.9, Ipopt v1.0 ```...

@Wikunia I was having a look at the current implementation of `state_is_optimal` and given that `allow_almost` is in there it made we wonder if this issue has been addressed or...

Got it. I will leave this as an open question as some investigation is needed to understand the possible impact. My hunch is that _almost_ solved models have numerical issues...

A natural choice is to use a feasible solution to guide the LDS. You might also consider using the `Activity` metric for variable ordering instead of `PseudoCost`. One can also...