*--debug-solver*::
	Create solver test case for debugging. Use this option if you think the dependencies were not solved correctly. When using this option no packages will be installed or removed. Instead a solver test case is written to /var/log/zypper.solverTestCase. You can pack the directory and attach it to your bug report.

*--force-resolution*::
	Force the solver to find a solution by allowing to remove packages with unfulfilled requirements. This is the default when removing packages (*zypper remove*). This option overrides *--no-force-resolution* in case both are specified on the command line.

*-R*, *--no-force-resolution*::
	Do not force the solver to find a solution. Instead, report dependency problems and prompt the user to resolve them manually. This is the default except when removing packages (*zypper remove*).

*--solver-focus* _MODE_::
	Set the solvers general attitude when resolving a job. Valid modes are *Job*, *Installed* or *Update*. See section *Package Dependencies* for details.
