Links for mipsolver-pro