Function run_minion_with_options 

pub fn run_minion_with_options(
    model: Model,
    options: RunOptions,
    callback: Callback<'_>,
) -> Result<SolverContext, MinionError>

Like run_minion but lets the caller pin solver-side knobs (e.g. the random seed) via RunOptions.