Links for thermometers-mip-solver