fact: Definition remove_lit (h:literal) (s: LitSet.t) := LitSet.remove (id_of_literal h) s.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause