Constant clingo_sys::clingo_clause_type_clingo_clause_type_learnt

pub const clingo_clause_type_clingo_clause_type_learnt: clingo_clause_type

!< clause is subject to the solvers deletion policy