Links for msolve
msolve-0.9.3.tar.gz