Constant clingo_sys::clingo_clause_type_e_clingo_clause_type_learnt

source · 
pub const clingo_clause_type_e_clingo_clause_type_learnt: clingo_clause_type_e = 0;
Expand description

!< clause is subject to the solvers deletion policy