Procedures:
D.8.1.1 ffsolve finite field solving using heuristically chosen method D.8.1.2 PEsolve solve system of multivariate equations over finite field D.8.1.3 simplesolver solver using modified exhausting search D.8.1.4 GBsolve multivariate solver using Groebner-basis D.8.1.5 XLsolve multivariate polynomial solver using linearization D.8.1.6 ZZsolve solve system of multivariate equations over finite field