The program msolve, written by Jérémy Berthomieu, Christian Eder, Vincent Neiger, and Mohab Safey El Din, uses advanced Gröbner bases algorithms, multi-threading, and vectorization to obtain exact solutions for multivariate polynomial systems. It is distributed under the GPLv2 license and is available at https://msolve.lip6.fr/. It is used by the package Msolve.
The source of this document is in Macaulay2Doc/ov_preface.m2:389:0.