Applying solver solutions
Call the solver to get a solution and then call
ask is not
specified, prompts the user whenever the solution isn't obvious from the
Takes a "raw" list of atoms (from the user), and match it to existing
packages. Match packages with the wrong capitalisation, and raises errors on
non-existing packages, and unavailable ones unless
permissive is set.
Exits with a message on error.