Solver
ConstrParamsT
ResultsT
SolveParamsT
SolverCore
Whether to measure \(\langle S_x(\tau) S_x(0) \rangle\).