Plans for solvers

In order to start a solver, both a Problem and Options are required. Together they form a plan. Everything related to problems, options, and their tools in general, is explained in this section and its subpages. The specific Options related to a certain (concrete) solver can be found on the specific solver page, see The solvers overview.