Constant clingo_sys::clingo_solve_event_type_e_clingo_solve_event_type_finish

source · 
pub const clingo_solve_event_type_e_clingo_solve_event_type_finish: clingo_solve_event_type_e = 3;
Expand description

!< Issued if the search has completed.