z3

I am trying to find the boundary values of the variables in a formula. To do this I feed the formula to Z3 (version 4.8.9 - 64 bit on Ubuntu 22.04) and then use the objective criteria to either minimize…