To use PolyGerrit, please enable JavaScript in your browser settings, and then refresh this page. …/LibsolvSolver.h · Gerrit Code Review