Index of /current_tree/proofs/XOR_SAT

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] my_utils.py             2025-12-25 21:39  5.9K  
[TXT] make_pix.sh             2025-10-16 18:28  145   
[TXT] main_EN.tex             2025-12-29 14:55  6.2K  
[TXT] XOR_SAT.py              2025-12-29 14:55  2.1K  
[TXT] SAT_lib.py              2026-01-19 21:24   54K  
[TXT] 3.gv                    2020-07-05 19:43  373   
[TXT] 2.gv                    2020-07-05 19:43  357   
[TXT] 1.gv                    2020-07-05 19:43  318
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443