Use backtracking when solving dependency constraints.

utils/tests/pub/pub_test.dart

Index: utils/tests/pub/pub_test.dart
diff --git a/utils/tests/pub/pub_test.dart b/utils/tests/pub/pub_test.dart
index 49d70635d81c5e5217cf095a9c974fe02c636ca8..06d53f0cd8975f3ff86fbe7137e825779af2471b 100644
--- a/utils/tests/pub/pub_test.dart
+++ b/utils/tests/pub/pub_test.dart
@@ -22,9 +22,10 @@ final USAGE_STRING = """
         --[no-]trace      Print debugging information when an error occurs.
         --verbosity       Control output verbosity.
 
-              [all]       All output including internal tracing messages are shown.
-              [io]        IO operations are also shown.
-              [normal]    Errors, warnings, and user messages are shown.
+              [all]       Show all output including internal tracing messages.
+              [io]        Also show IO operations.
+              [normal]    Show errors, warnings, and user messages.
+              [solver]    Show steps during version resolution.
 
     -v, --verbose         Shortcut for "--verbosity=all"