[−][src]Constant clingo_sys::clingo_model_type_clingo_model_type_brave_consequences
pub const clingo_model_type_clingo_model_type_brave_consequences: clingo_model_type
!< The model represents a set of brave consequences.