The program msolve, written by Jérémy Berthomieu, Christian Eder, Vincent Neiger, and Mohab Safey El Din, uses advanced Groebner 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.