Fix encoding of primitive operators with refined domains#3427

Merged

nikswamy merged 2 commits intomasterfrom nik_3426

Aug 30, 2024

+124-28

Commits on Aug 30, 2024

restrict domain of partial primitive operations in the SMT encoding cf #3426
nikswamy
committed
fix a typo in encoding of Real.(/.); bump cache version number
nikswamy
committed