msolve

Interface to msolve.

sage_acsv.backends.msolve.get_parametrization(vs, system)[source]