Implementation-specific extra options, keyed by name, that a particular Solver strategy may interpret.