Yuri Victorovich 5c1f797943 math/py-z3-solver: update 4.8.17 → 4.13.2 ...

This fixes the problem from bug#280689.

PR:		280689

2024-10-07 20:44:40 -07:00

..

example-dog-cat-mouse.py

…

example-eight-queens.py

…

example-kinematics.py

…

example-power-of-two.py

…

example-sudoku.py

…

patch-CMakeLists.txt

…