Get rid of all the library tags.

lib/src/solver/backtracking_solver.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /// A back-tracking depth-first solver.
 ///
 /// Attempts to find the best solution for a root package's transitive
 /// dependency graph, where a "solution" is a set of concrete package versions.
 /// A valid solution will select concrete versions for every package reached
 /// from the root package's dependency graph, and each of those packages will
@@ skipping 15 matching lines @@
 ///   package.
 ///
 /// - etc.
 ///
 /// then the current solution is invalid. It will then backtrack to the most
 /// recent speculative version choice and try the next one. That becomes the
 /// new in-progress solution and it tries to proceed from there. It will keep
 /// doing this, traversing and then backtracking when it meets a failure until
 /// a valid solution has been found or until all possible options for all
 /// speculative choices have been exhausted.
-library pub.solver.backtracking_solver;
-
 import 'dart:async';
 
 import 'package:pub_semver/pub_semver.dart';
 
 import '../barback.dart' as barback;
 import '../exceptions.dart';
 import '../lock_file.dart';
 import '../log.dart' as log;
 import '../package.dart';
 import '../pubspec.dart';
@@ skipping 608 matching lines @@
   void _validateSdkConstraint(Pubspec pubspec) {
     if (_overrides.containsKey(pubspec.name)) return;
     if (pubspec.environment.sdkVersion.allows(sdk.version)) return;
 
     throw new BadSdkVersionException(pubspec.name,
         'Package ${pubspec.name} requires SDK version '
         '${pubspec.environment.sdkVersion} but the current SDK is '
         '${sdk.version}.');
   }
 }