reset

abstract suspend fun reset(): SolverInspectionSnapshot

Restores a pristine solver state. Implementations may rebuild internally.