IBM now gives CPLEX to academics for free; as I am computing LP bounds for quantum codes, I got myself one. However, it refused to install on my amd64 Debian system, saying “libgcc_s.so.1 must be installed for pthread_cancel to work”. More here