Index of /current_tree/puzzles/rubik2/failed_SMT

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory                                     -   
[TXT] rubik2_z3.py                    2021-01-30 13:05   12K  
[TXT] main_EN.tex                     2021-04-25 01:29  5.6K  
[IMG] 190px-Pocket_cube_scrambled.jpg 2020-07-05 19:43  9.1K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443