fact: Definition remove_wneg (l:literal) (s:iset) := IntMap.remove' (id_of_literal l) s.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause