pub fn add_constraint_during_search(
constraint: Constraint,
) -> Result<(), MinionError>Expand description
Adds a constraint to the currently-running Minion instance.
This is intended for use from a solver callback while run_minion is active.