Links for msolve
msolve-0.9.4.tar.gz