nla_grobner: add mod_residue pattern to propagate_quotients#9597

NikolajBjorner merged 3 commits into

Z3Prover:masterZ3Prover/z3:masterfrom

1arie1:ag/mod_residue1arie1/z3:ag/mod_residueCopy head branch name to clipboard