pub const clingo_clause_type_e_clingo_clause_type_volatile: clingo_clause_type_e = 2;
Expand description
!< like ::clingo_clause_type_learnt but the clause is deleted after a solving step
pub const clingo_clause_type_e_clingo_clause_type_volatile: clingo_clause_type_e = 2;
!< like ::clingo_clause_type_learnt but the clause is deleted after a solving step