pySMT 0.9.6: CVC5 and upgraded solvers

[marco...@gmail.com]

pySMT 0.9.6 is out!

What's Changed:

• Fixed issue #613 by @mikand in #710 - Thanks @ekiwi for reporting
• Fix missing file in Manifest by @marcogario in #718
• Upgrade MathSAT to 5.6.6 by @marcogario in #720
• CI: Avoid running on PR branch push by @marcogario in #721
• Upgrade MathSAT to 5.6.7 by @marcogario in #719
• Fix misspellings by @jayvdb in #724
• Upgrade Z3 to 4.8.17 by @marcogario in #723
• make FormulaContextualizer singleton in FormulaManager. by @enmag in #698
• README: Remove interpolants from Z3 by @marcogario in #727
• Parse logic str in Portfolio by @marcogario in #726
• Make sudoku.py Python3 compatible by @akumm2k in #734
• Fix the definition of BVXnor by @YikeZhou in #748
• Deterministic get_closer_logic by @marcogario in #733
• Grammar correction by @quantik-git in #750
• example/parallel.py: typo fix by @tias in #755
• Fix for pyximport by @marcogario in #766
• Remove deprecated distutils by @marcogario in #765
• Fixed removed imp module in Python 3.12 by @cybaol in #770
• [Boolector] Add support for const arrays and boolean indices/elements by @nbailluet in #771
• Update of all solvers by @mikand in #761

New Contributors

• @jayvdb made their first contribution in #724
• @akumm2k made their first contribution in #734
• @YikeZhou made their first contribution in #748
• @quantik-git made their first contribution in #750
• @tias made their first contribution in #755
• @cybaol made their first contribution in #770
• @nbailluet made their first contribution in #771

Full Changelog: https://github.com/pysmt/pysmt/compare/v0.9.5...v0.9.6