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 the command line interface and documentation.