Feature Request: Time limit support for impl LpExtractor solve_with() and solve_multiple_with()

[jk2997]

Hello,

good_lp has a WithTimeLimit trait implemented for structs CoinCbcProblem and HighsProblem that allows the user to set a time limit for CBC and HiGHS (https://docs.rs/good_lp/latest/good_lp/solvers/trait.WithTimeLimit.html). Could the solve_with() and solve_multiple_with() methods of impl LpExtractor be modified (or, could additional solve_with_timeout() and solve_multiple_with_timeout() methods be created) to allow the egg library user to set timeouts if they are using LP extraction? I tried to achieve this feature in a separate fork of egg, but I found trouble making the solve_with() and solve_multiple_with() methods available to both the solvers that have WithTimeLimit implemented and those that don't (1bbb9c3). Thus, it may be easier to create alternate versions of solve_with() and solve_multiple_with() that do support time limits. If you could consider this feature, it would be greatly appreciated.

[mwillsey]

I would definitely consider this feature. Do you have an idea for what it would look like?

[jk2997]

I opened a PR for my idea of what the timeout feature would look like. #363