The SolveOptions (e.g. timeout, it.unibo.tuprolog.solve.flags.TrackVariables flag) used by future resolutions.