Skip to content

feat: BitVec lemmas for smtUDiv, smtSDiv when denominator is zero#5616

Merged
kim-em merged 1 commit intoleanprover:masterfrom opencompl:smt-div-zeroNov 10, 2024