Index of /current_tree/proofs/XOR_SAT

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 make_SVGs.sh            2020-07-05 19:43   73   
 1.gv                    2020-07-05 19:43  318   
 2.gv                    2020-07-05 19:43  357   
 3.gv                    2020-07-05 19:43  373   
 XOR_SAT.py              2021-01-30 13:05  1.9K  
 main_EN.tex             2021-04-19 21:30  6.0K

Apache/2.4.52 (Ubuntu) Server at smt.st Port 443