Julian Hall
Behaviour of HiGHS is very odd. I was wanting to explore the execution flow to see if I could understand why you might have observed what you did, so I...
If `getBasicVariables` is called and there is no INVERT, then one will be computed for the current basis. I'll try setting `threads=2` and putting a breakpoint in `src/mip/HighsTableauSeparator.cpp:55` to see...
Only if crossover isn't performed
The setting `basis.valid = true` has become confusing now that there is the `alien` distinction. A valid basis is one that has the right number of basic and nonbasic variables....
> Would it be possible to simply call simplex with a zero iteration limit or to just create the invertible representation without further iterations? That would create an invertible representation,...
A direct interface to HiGHS from Pyomo is in the pipeline, and https://github.com/Pyomo/pyomo/tree/main/pyomo/solvers/plugins/solvers suggests that interfaces to solvers, rather than interfaces like scipy are preferred, particularly when re-solving LPs, or...
Thanks for flagging up Conda as a packaging system. The HiGHS team will look into it.
Guessing that "quadratic energy term" is in the objective function, you are looking to solve mixed-integer quadratic programming (MIQP) problems. HiGHS _cannot_ solve MIQPs, although it is something we are...
The only objective coefficient is for the last variable. It's +1 in the .lp file (with maximization), and -1 in the .mps file (without an OBJSENSE MAX section).
Strange, to my knowledge @lgottwald is checking the time limit in the MIP solver. Perhaps it's in a part of the code where this isn't yet done