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