Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT#638

Merged

msooseth merged 6 commits intomainfrom fix-exp-basecase

Jan 27, 2025

+54-3

Commits on Jan 22, 2025

Commits on Jan 23, 2025