Constant clingo_sys::clingo_solve_event_type_clingo_solve_event_type_statistics

pub const clingo_solve_event_type_clingo_solve_event_type_statistics: clingo_solve_event_type

Issued when the statistics can be updated.