fact: Definition get_literal (m:hmap) (k:int) (b:bool) : option literal := match get_atom m k with | None => None | Some a => Some (literal_of_bool b a) end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause