anchor.diff:          ec_semver:lte(RelVsnA, RelVsnB).
   
   solve_release(State0, DepGraph, RelName, RelVsn) ->
  +    rcl_log:debug(rcl_state:log(State0),
  +                  "Solving Release ~p-~s~n",
  +                  [RelName, RelVsn]),
       try
  +        io:format("Solving ~p ~p", [RelName, RelVsn]),
           Release = rcl_state:get_release(State0, RelName, RelVsn),
           Goals = rcl_release:goals(Release),
           case Goals of
  
positive.code:     SpecificReleases = [Rel || Rel={{PossibleRelName, _}, _} <- AllReleases,
                                 PossibleRelName =:= RelName],
      case lists:sort(fun release_sort/2, SpecificReleases) of
          All = [{{RelName, RelVsn}, _} | _] ->
              State1 = rcl_state:default_release(State0, RelName, RelVsn),
              lists:foldl(fun({RN, RV}, {ok, State2}) ->
                                  solve_release(State2,
                                                DepGraph, RN, RV);
                             (_, E) ->
                                  E
                          end, {ok, State1}, All);
          [] ->
              ?RCL_ERROR({no_releases_for, RelName})
      end.
  
negative.code:                         "Resolved ~p-~s~n",
                          [rcl_release:name(Release1),
                           rcl_release:vsn(Release1)]),
             rcl_log:debug(rcl_state:log(State),
                           fun() ->
                                   rcl_release:format(1, Release1)
                           end),
  