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