Solvers

Each solver has the name in the form of

$${\tt void\quad solve\_\langle type\rangle\_\langle lub\rangle\_\langle d\rangle\langle ver\rangle\_\langle mat\rangle(sys,\ givens,\ unknowns);}$$ (3.1)