Michael Bynum

Another question for @jsiirola - right now, the simplification logic using sympy will remove mutable parameters from the expression. I'm not sure how I feel about that. I don't really...

There seem to be issues with get_tar_archive on windows

Thanks for all the help on this one, @jsiirola.

Could we just make sure highspy releases the GIL? That should not be hard. I can create a PR to HiGHS.

Depends on #3088.

Another option is to use the "osil" format. There is an osil parser here: https://github.com/cog-imperial/suspect/blob/4a0e04d1be2f400416d508e632d81077a2b212ab/suspect/pyomo/osil_reader.py#L331.

I think an option in the NL writer is a great idea.

> It looks like there might be a workaround to avoid the function call: > > ```python > @overload > def __getitem__(self, index) -> _BlockData: > ... > > __getitem__...

In my opinion, this is expected behavior. The value of a variable that does not actively participate in a model can be anything within its domain.

We could add `empty_model` to `TerminationCondition`?