Python 3.9 installation dependency pyboolector about pyvsc

[towoe]

Thanks a lot @mballance for the quick fix. Now that I your change in fvutils/boolector@5328e39 I think I understand why it did not work. Sorry, I am not that familiar with Python and PyPi to have spotted that before.

I updated to PyBoolector 3.2.1.20210109.1, installation was successful.
And I tested within PyVSC (python -m pytest ve/unit) and despite the occasional failure of test_random_dist.py all tests were successful.

[mballance]

Hello @towoe,
Thanks for raising this! I did create the PyPi release of Boolector to support PyVSC. My understanding is that a few people use the PyBoolector package, but the primarily target remains PyVSC.

I've updated the PyBoolector build to support Python 3.9. I'm running CentOS 8 and have not confirmed the 3.9 release personally. Please give it a try and let me know of any issues. I'll be happy to investigate if there are any.

Best Regards,
Matthew