pub const clingo_solve_event_type_e_clingo_solve_event_type_statistics: clingo_solve_event_type_e = 2;
Expand description
!< Issued when the statistics can be updated.
pub const clingo_solve_event_type_e_clingo_solve_event_type_statistics: clingo_solve_event_type_e = 2;
!< Issued when the statistics can be updated.