[−][src]Constant clingo_sys::clingo_solve_event_type_clingo_solve_event_type_finish
pub const clingo_solve_event_type_clingo_solve_event_type_finish: clingo_solve_event_type
!< Issued if the search has completed.