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