fact: Definition add_literal (l:Annot.t literal) (lit : IntMap.ptrie (Annot.t bool)) := IntMap.set' (id_of_literal (Annot.elt l)) (Annot.map is_positive_literal l) lit.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause