fn normalize_sat_constraints(
cx: &mut SymCx,
constraints: &[SymBoolExpr],
normalization_cache: &mut HashMap<SymBoolExpr, SymBoolExpr>,
) -> Vec<SymBoolExpr>Expand description
Normalizes satisfiability constraints and removes soundly redundant constraints.