Is there a way to convert the Z3PY datatypes to native Python datatypes?
When my formula is solved by Z3, I can print it out by calling the model()-function. But how do I
