Index of /ports-full/math/py-z3-solver/files/

../
example-dog-cat-mouse.py                           23-Oct-2026 18:19                 573
example-eight-queens.py                            23-Oct-2026 18:19                 666
example-kinematics.py                              23-Oct-2026 18:19                 453
example-power-of-two.py                            23-Oct-2026 18:19                 380
example-sudoku.py                                  23-Oct-2026 18:19                1604
patch-CMakeLists.txt                               23-Oct-2026 18:19                2352