Log Message:
py-smt: updated to 0.9.6

0.9.6: 2022-06-24 -- CVC5 and upgraded solvers

* Fixed issue 613
* Fix missing file in Manifest
* Upgrade MathSAT to 5.6.6
* CI: Avoid running on PR branch push
* Upgrade MathSAT to 5.6.7
* Fix misspellings
* Upgrade Z3 to 4.8.17
* make FormulaContextualizer singleton in FormulaManager.
* README: Remove interpolants from Z3
* Parse logic str in Portfolio
* Make sudoku.py Python3 compatible
* Fix the definition of BVXnor
* Deterministic get_closer_logic
* Grammar correction
* example/parallel.py: typo fix
* Fix for pyximport
* Remove deprecated distutils
* Fixed removed imp module in Python 3.12
* [Boolector] Add support for const arrays and boolean indices/elements
* Update of all solvers