fact: Definition empty_state m := {| fresh_clause_id := 0; hconsmap := m; arrows := nil; wneg := IntMap.empty unit; defs := (IntMap.empty unit , IntMap.empty unit); units := IntMap.empty (Annot.t bool); unit_stack := nil; clauses := WMap.empty |}.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause