@callback handle_minizinc_error(mzn_error :: map()) :: any()

@callback handle_solution(solution :: map()) :: :break | {:break, any()} | :skip | any()

@callback handle_summary(summary :: map()) :: any()

@callback on_compiled(compilation_info :: map()) :: any()