Bug#886590: Please add python3-z3 package

[Sylvestre Ledru]

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