Hello
Le 24/09/2019 à 12:51, Roman Lebedev a écrit :
Bump. Any chance this could be prioritized? Lack of python3-z3 package prevents me from porting some other python2 software to python3.
Thanks to the work of Fabian Wolff, we have a better version of z3. I don't know if he is planning to work on this soon but if you write a patch i would be happy to sponsor it. thanks Sylvestre
