Several computer algebra systems have interfaces to msolve:

• The Oscar computer algebra system (see e.g. here),
• the SageMath mathematics software system (see e.g. here)
• and the Macaulay2 software system devoted to algebraic geometry and commutative algebra (see e.g. here or here).

The msolve library is heavily used by

• The AlgebraicSolving.jl Julia package, which is itself used by the Oscar computer algebra system.
  AlgebraicSolving.jl provides the main functionalities of msolve library within the Julia computing environment as well as other features such as dimension and degree computations, equidimensional decompositions for polynomial ideals, etc.

We also provide autonomous file interfaces, see below.

File interfaces to msolve