Path	Lines of Code
lib/src/solver/assignment.dart	15
lib/src/solver/failure.dart	255
lib/src/solver/incompatibility.dart	347
lib/src/solver/incompatibility_cause.dart	50
lib/src/solver/package_lister.dart	299
lib/src/solver/partial_solution.dart	97
lib/src/solver/reformat_ranges.dart	88
lib/src/solver/report.dart	234
lib/src/solver/result.dart	128
lib/src/solver/set_relation.dart	9
lib/src/solver/term.dart	79
lib/src/solver/type.dart	9
lib/src/solver/version_solver.dart	297