Links for passagemath-msolve