Skip to content

nla_grobner: add mod_residue pattern to propagate_quotients#9597

Merged
NikolajBjorner merged 3 commits into
Z3Prover:masterfrom
1arie1:ag/mod_residue
May 27, 2026
Merged

nla_grobner: add mod_residue pattern to propagate_quotients#9597
NikolajBjorner merged 3 commits into
Z3Prover:masterfrom
1arie1:ag/mod_residue

Update nla_grobner.cpp

66b406b
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded May 27, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Microsoft GitHub Policy Service