pub const clingo_clause_type_e_clingo_clause_type_static: clingo_clause_type_e = 1;
Expand description
!< clause is not subject to the solvers deletion policy
pub const clingo_clause_type_e_clingo_clause_type_static: clingo_clause_type_e = 1;
!< clause is not subject to the solvers deletion policy