Expand description
Solver statistics (zero-erasure).
Stack-allocated statistics for solver and phase performance tracking.
Structsยง
- Phase
Stats - Phase-level statistics.
- Solver
Stats - Solver-level statistics.
Solver statistics (zero-erasure).
Stack-allocated statistics for solver and phase performance tracking.