Comment by sirwhinesalot

You can always just run a portfolio of Simplex/Barrier/PDLP and just grab whichever returns something first. The latter two are usually slower but polynomial time, so you always win.

Can't do that with SAT or ILP.