Function enable_solver_trace 

pub fn enable_solver_trace(capacity: usize)

Enable per-solve tracing. Each NR solve will append a SolverTraceEntry to an internal buffer pre-allocated with capacity entries. Call disable_solver_trace() to retrieve and consume the buffer.