Package msolve

https://msolve.lip6.fr/

msolve is an open source C library implementing computer algebra algorithms
for solving polynomial systems (with rational coefficients or coefficients in
a prime field).

Currently, with msolve, you can basically solve multivariate polynomial
systems.  This encompasses:
- the computation of Groebner bases
- real root isolation of the solutions to polynomial systems
- the computation of the dimension and the degree of the solution set and many
  other things you can do using msolve.

This package contains a command line tool to access the msolve
functionality.

Version: 0.9.4