Constant clingo_sys::clingo_model_type_e_clingo_model_type_brave_consequences

source · 
pub const clingo_model_type_e_clingo_model_type_brave_consequences: clingo_model_type_e = 1;
Expand description

!< The model represents a set of brave consequences.