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                  2020-07-05 19:43  4.0K  
[TXT] chain.gv                      2021-04-19 21:30  601   
[TXT] main_EN.tex                   2021-04-25 01:29   14K  
[TXT] make_SVGs.sh                  2021-04-19 21:30   33   
[TXT] math.txt                      2020-07-05 19:43  2.7K  
[TXT] post_RDUR.txt                 2020-07-05 19:43  370   
[TXT] solver.py                     2020-07-05 19:43  9.9K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443