A determinant solver.