Index of /current_tree/equations/minesweeper/2_SAT

Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[TXT] main_EN.tex                          2021-03-20 21:29  7.7K  
[TXT] minesweeper_SAT.py                   2021-02-14 02:48   12K  
[   ] popcnt.nb                            2020-07-05 19:43  445K  
[   ] sample.cnf                           2020-07-05 19:43   24K  
[TXT] tst.py                               2021-02-14 02:48  1.6K  
[   ] tst1.cnf                             2020-07-05 19:43  755   
[   ] tst2.cnf                             2020-07-05 19:43  776   
[TXT] with_tests.py                        2021-02-14 02:48   13K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443