Type Alias conjure_oxide::solver::SolverCallback

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

The type for user-defined callbacks for use with Solver.

Note that this enforces thread safety

Aliased Type

struct SolverCallback(/* private fields */);