msolve is a library, written in plain C, for solving
multivariate polynomial systems.

msolve release v0.7.2

Download

Features

  • msolve is based on computer algebra a.k.a. symbolic computation
    for exact polynomial system solving
  • msolve provides an algebraic/exact encoding of solutions
  • msolve uses advanced Groebner bases algorithms
    (F4, change of orderings, etc.)
  • msolve targets higher efficiency through multi-threading and vectorization
  • msolve is distributed under the license GPLv2+