or-tools claims the competition is consistently gold (https://developers.google.com/optimization) and python-mip claims to be the fastest open source linear programming solver (http://plato.asu.edu/ftp/lpsimp. html), so which one is faster?
Crossposted from https://github.com/google/or-tools/discussions/3449