Converting PySMT formulas to Z3Py ones

I wanna make use of the MaxSMT capabilities in Z3Py, and most of my codebase is on PySMT. Therefore, it is required that formulas are converted into Z3Py objects. However, I failed to find an approach to do such a conversion. Can this be done with PySMT API?

On the other hand, is it possible to do so with PySMT alone? I saw this issue but the code in optimization branch seems to be undocumented.