fact: Definition neg_bool (o : option (Annot.t bool)) : option (Annot.t bool) := match o with | None => None | Some b => Some (Annot.map negb b) end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause