Type Alias conjure_oxide::solver::SolverMutCallback

pub type SolverMutCallback = Box<dyn Fn(HashMap<Name, Constant>, Box<dyn ModelModifier>) -> bool + Send>;

Aliased Type

struct SolverMutCallback(/* private fields */);