Index of /current_tree/puzzles/rubik2/failed_SMT

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory - [IMG] 190px-Pocket_cube_scrambled.jpg 2020-07-05 19:43 9.1K [TXT] main_EN.tex 2025-10-16 18:28 5.7K [TXT] rubik2_z3.py 2025-10-16 18:28 12K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443