msolve
msolve copied to clipboard
msolve.lip6.fr/downloads/v0.7.5/msolve-0.7.5.tar.gz
https://msolve.lip6.fr/downloads/v0.7.5/msolve-0.7.5.tar.gz does not have ./configure. This is a regression w.r.t. 0.6.5 (not sure where exactly this happened)
Originally posted by @dimpase in #36