Index of /current_tree/puzzles/rubik2/SAT

Icon  Name                          Last modified      Size  Description
[PARENTDIR] Parent Directory - [IMG] 3solved.jpg 2020-07-05 19:43 49K [TXT] XOR_CNF_bf.c 2025-10-16 18:28 5.0K [TXT] chain.gv 2021-04-19 21:30 601 [IMG] chain.png 2025-10-16 18:28 31K [TXT] main_EN.tex 2025-10-16 18:28 14K [TXT] make_pix.sh 2025-10-16 18:28 66 [TXT] math.txt 2020-07-05 19:43 2.7K [TXT] post_RDUR.txt 2020-07-05 19:43 370 [TXT] solver.py 2025-10-16 18:28 9.9K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443