| Index: lib/src/solver/backtracking_solver.dart
|
| diff --git a/lib/src/solver/backtracking_solver.dart b/lib/src/solver/backtracking_solver.dart
|
| index 7f3cc432fe51ca74cdfcccc14cfb47c0335aa02c..45fccba0cd03ef91b93221e14e3fe160dd3d32ad 100644
|
| --- a/lib/src/solver/backtracking_solver.dart
|
| +++ b/lib/src/solver/backtracking_solver.dart
|
| @@ -189,6 +189,7 @@ class BacktrackingSolver {
|
| // Gather some solving metrics.
|
| var buffer = new StringBuffer();
|
| buffer.writeln('${runtimeType} took ${stopwatch.elapsed} seconds.');
|
| + buffer.writeln('- Tried $_attemptedSolutions solutions');
|
| buffer.writeln(cache.describeResults());
|
| log.solver(buffer);
|
| }
|
|
|