Michael Bynum

Thanks, @few. I can work something like this into the PR, but I'd like to hear from @jajhall or @galabovaa, first. This would involve creating a callback that ran every...

I think I might agree. I think callbacks may be a better way to handle keyboard interrupts. I think you are also correct about python callbacks, except that the GIL...

I can create an optional callback that can be enabled with an option to handle keyboard interrupts?

Ahh... That is convenient.

The implementation described above makes sense to me and certainly may help in some cases. It is definitely true that `fbbt` may not converge. In the example below, `y` should...

We have been working on this some in the solver interface refactor (see https://github.com/Pyomo/pyomo/issues/1030, https://github.com/Pyomo/pyomo/pull/3476, and https://pyomo.readthedocs.io/en/latest/explanation/experimental/solvers.html). There is still lots of work to do though.