gmp5.1.3.tar.bz2
用于SCIP安装所需要的一个package包括readline,zlib,m4,gmp,soplex,zimpl,这是其中一个
下载地址
用户评论
可用,用了没有不知道。