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

msolve release v0.1.2

Download

Features

  • msolve is based on computer algebra a.k.a. symbolic computation
    for 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