Constant clingo_sys::clingo_solve_event_type_e_clingo_solve_event_type_model

source · 
pub const clingo_solve_event_type_e_clingo_solve_event_type_model: clingo_solve_event_type_e = 0;
Expand description

!< Issued if a model is found.