Type Definition clingo_solve_event_type
clingo_sys
type clingo_solve_event_type = u32;
! Enumeration of solve events.