pub fn add_aux_var_during_search(
name: VarName,
domain: VarDomain,
) -> Result<(), MinionError>Expand description
Adds a new auxiliary variable to the currently-running Minion instance.
This is intended for use from a solver callback while run_minion is active.