summaryrefslogtreecommitdiff
path: root/math/py-z3-solver/files/example-power-of-two.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* math/py-z3-solver: update 4.8.17 → 4.13.2Yuri Victorovich2024-10-071-0/+15