libmsolve-dev - 0.7.5-1 main

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 development files for the library.