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