summaryrefslogtreecommitdiff
path: root/math/py-z3-solver/files/example-eight-queens.py (unfollow)
Commit message (Expand)AuthorFilesLines
2024-10-07math/py-z3-solver: update 4.8.17 → 4.13.2Yuri Victorovich1-0/+22