Type Alias SolverCallback

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

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

Note that this enforces thread safety

Aliased Type

struct SolverCallback(/* private fields */);